TY  - BOOK
AU  - Arai,T.
ED  - Asian Logic Conference
ED  - ProQuest (Firm)
TI  - Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
AV  - Q334 .A853 2008
PY  - 2010///
CY  - Hackensack, NJ
PB  - World Scientific
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Electronic books
N1  - "The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref; Includes bibliographical references; An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flaskova -- Lowness and highness properties for randomness notions / J. Franklin -- Countable borel equivalence relations, borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak konig's lemma in construcytion reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of ... / H. Sakai -- Turing degrees and the ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / G. Wu -- On II1/1 conservativity for II1/2 theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1681682
ER  -