Matches in Library of Congress for { <http://lccn.loc.gov/2010287731> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2010287731 contributor B11815323.
- 2010287731 contributor B11815324.
- 2010287731 created "c2010.".
- 2010287731 date "2010".
- 2010287731 date "c2010.".
- 2010287731 dateCopyrighted "c2010.".
- 2010287731 description "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.".
- 2010287731 description "Includes bibliographical references.".
- 2010287731 extent "viii, 393 p. :".
- 2010287731 identifier "9789814293013 (hbk.)".
- 2010287731 identifier "9814293016 (hbk.)".
- 2010287731 issued "2010".
- 2010287731 issued "c2010.".
- 2010287731 language "eng".
- 2010287731 publisher "Hackensack, NJ : World Scientific,".
- 2010287731 subject "Logic, Symbolic and mathematical Congresses.".
- 2010287731 subject "Q334 .A853 2008".
- 2010287731 tableOfContents "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.".
- 2010287731 title "Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai ... [et al.].".
- 2010287731 type "text".