Atnaujinkite slapukų nuostatas

Proceedings Of The 10th Asian Logic Conference [Kietas viršelis]

Edited by (Nus, S'pore), Edited by (Japan Advanced Inst Of Sci & Tech, Japan), Edited by (Chiba Univ, Japan), Edited by (Kobe Univ, Japan), Edited by (Kobe University, Japan), Edited by (Victoria Univ Of Wellington, New Zealand), Edited by (Chinese Academy Of Sciences, China)
  • Formatas: Hardback, 404 pages
  • Išleidimo metai: 04-Dec-2009
  • Leidėjas: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814293016
  • ISBN-13: 9789814293013
Kitos knygos pagal šią temą:
Proceedings Of The 10th Asian Logic ConferenceDidesnis paveikslėlis
  • Formatas: Hardback, 404 pages
  • Išleidimo metai: 04-Dec-2009
  • Leidėjas: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814293016
  • ISBN-13: 9789814293013
Kitos knygos pagal šią temą:
Pastovi nuoroda: https://www.kriso.lt/db/9789814293013.html
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.This volume contains papers from the 10th meeting held in Kobe, Japan.
Preface v
An Application of Nonstandard Arguments to the Study of Generic Structures
1(18)
Y. Anbo
Constructive Geometry
19(66)
M. Beeson
A Separation Result for Varieties of Brouwer's Fan Theorem
85(8)
J. Berger
A Term-Rewriting Characterization of PSPACE
93(20)
N. Eguchi
I-ultrafilters and Summable Ideals
113(11)
J. Flaskova
Lowness and Highness Properties for Randomness Notions
124(28)
J. Franklin
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalence
152(62)
G. Hjorth
A Remark on Generic Structures and the Number of Countable Models
214(13)
K. Ikeda
Geometric Simplicity Theory
227(36)
B. Kim
Weak Weak Konig's Lemma in Constructive Reverse Mathematics
263(8)
T. Nemoto
On Preservation and Reflection of Stationary Subsets of κλ When cf(λ) < κ
271(29)
H. Sakai
Turing Degrees and the Ershov Hierarchy
300(22)
F. Stephan
Y. Yang
L. Yu
Weak Randomness, Genericity and Boolean Decision Trees
322(23)
T. Suzuki
M. Kumabe
A Note on Multiple Inductive Definitions
345(8)
K. Tanaka
Isolation in the d.c.e. Degrees
353(22)
G. Wu
On II11 Conservativity for II12 Theories in Second Order Arithmetic
375(12)
K. Yokoyama
Around Rosy CM-Trivial Theories
387
I. Yoneda