Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Saved in:
Bibliographic Details
Corporate Authors: Asian Logic Conference Kōbe Daigaku, ebrary, Inc
Other Authors: Arai, T. (Toshiyasu)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Hackensack, NJ : World Scientific, c2010.
Subjects:
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a22000004a 4500
001 0000126584
005 20171002060805.0
006 m u
007 cr cn|||||||||
008 100512s2010 njua sb 100 0 eng c
010 |z  2010287731 
020 |z 9789814293013 (hbk.) 
020 |z 9814293016 (hbk.) 
035 |a (CaPaEBR)ebr10422074 
035 |a (OCoLC)694144114 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a Q334  |b .A853 2008eb 
111 2 |a Asian Logic Conference  |n (10th :  |d 2008 :  |c Kōbe Daigaku) 
245 1 0 |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008  |h [electronic resource] /  |c editors, T. Arai ... [et al.]. 
260 |a Hackensack, NJ :  |b World Scientific,  |c c2010. 
300 |a viii, 393 p. :  |b ill. 
500 |a "The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref. 
504 |a Includes bibliographical references. 
505 0 0 |a 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. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2013.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
655 7 |a Electronic books.  |2 local 
700 1 |a Arai, T.  |q (Toshiyasu) 
710 2 |a ebrary, Inc. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10422074  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 115733  |d 115733