Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Record no. 140206)
| 000 -LEADER | |
|---|---|
| fixed length control field | 02529nam a22003254a 4500 |
| 245 10 - TITLE STATEMENT | |
| Title | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Hackensack, NJ : |
| Name of publisher | World Scientific, |
| Year of publication | c2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | viii, 393 p. : |
| Other physical details | ill. |
| 500 ## - GENERAL NOTE | |
| General note | "The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref. |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic, Symbolic and mathematical |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Arai, T. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://site.ebrary.com/lib/rucke/Doc?id=10422074 |
No items available.