Atjaunināt sīkdatņu piekrišanu

Proceedings Of The 10th Asian Logic Conference [Hardback]

Edited by (Kobe University, Japan), Edited by (Chiba Univ, Japan), Edited by (Kobe Univ, Japan), Edited by (Chinese Academy Of Sciences, China), Edited by (Victoria Univ Of Wellington, New Zealand), Edited by (Nus, S'pore), Edited by (Japan Advanced Inst Of Sci & Tech, Japan)
  • Formāts: Hardback, 404 pages
  • Izdošanas datums: 04-Dec-2009
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814293016
  • ISBN-13: 9789814293013
Citas grāmatas par šo tēmu:
  • Hardback
  • Cena: 160,05 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Bibliotēkām
Proceedings Of The 10th Asian Logic ConferencePalielināt
  • Formāts: Hardback, 404 pages
  • Izdošanas datums: 04-Dec-2009
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814293016
  • ISBN-13: 9789814293013
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/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