02695nam a22003734a 4500 EBC1681682 MiAaPQ 20250821132601.0 m o d | cr cnu|||||||| 100512s2010 njua ob 100 0 eng c 9789814293020 (electronic bk.) (MiAaPQ)EBC1681682 (Au-PeEL)EBL1681682 (CaPaEBR)ebr10422074 (CaONFJC)MIL276196 (OCoLC)630163867 MiAaPQ eng rda pn MiAaPQ MiAaPQ Q334 .A853 2008 Asian Logic Conference (10th : 2008 : Kobe Daigaku) 597645 Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 [electronic resource] / editors, T. Arai ... [et al.]. Hackensack, NJ : World Scientific, c2010. viii, 393 p. : ill. "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, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Logic, Symbolic and mathematical Congresses. 597646 Electronic books. 35142 Arai, T. (Toshiyasu) 597647 ProQuest (Firm) 597648 ProQuest (Firm) https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1681682 Click to View 318723 318723