Proceedings of the 10th Asian Logic Conference
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789814293013, 9789814293020

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A note on multiple inductive definitions

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0014 ◽

2009 ◽

Cited By ~ 1

Author(s):

Kazuyuki Tanaka

Keyword(s):

Inductive Definitions

Download Full-text

TURING DEGREES AND THE ERSHOV HIERARCHY

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0012 ◽

2009 ◽

Cited By ~ 2

Author(s):

FRANK STEPHAN ◽

YUE YANG ◽

LIANG YU

Keyword(s):

Turing Degrees ◽

Ershov Hierarchy

Download Full-text

Weak weak König's lemma in constructive reverse mathematics

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0010 ◽

2009 ◽

Cited By ~ 2

Author(s):

Takako Nemoto

Keyword(s):

Reverse Mathematics ◽

Weak König’S Lemma ◽

König’S Lemma ◽

Constructive Reverse Mathematics

Download Full-text

A separation result for varieties of Brouwer's fan theorem

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0003 ◽

2009 ◽

Cited By ~ 5

Author(s):

J. Berger

Keyword(s):

Fan Theorem ◽

Separation Result

Download Full-text

AN APPLICATION OF NONSTANDARD ARGUMENTS TO THE STUDY OF GENERIC STRUCTURES

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0001 ◽

2009 ◽

Author(s):

YUKI ANBO

Keyword(s):

Generic Structures

Download Full-text

On $\Pi_1^1$ conservativity for $\Pi_2^1$ theories in second order arithmetic

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0016 ◽

2009 ◽

Cited By ~ 1

Author(s):

Keita Yokoyama

Keyword(s):

Second Order ◽

Second Order Arithmetic ◽

Order Arithmetic

Download Full-text

Weak randomness, genericity and Boolean decision trees

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0013 ◽

2009 ◽

Author(s):

Toshio Suzuki ◽

Masahiro Kumabe

Keyword(s):

Decision Trees

Download Full-text

ISOLATION IN THE D.C.E. DEGREES

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0015 ◽

2009 ◽

Author(s):

GUOHUA WU

Download Full-text

On preservation and reflection of stationary subsets of ${\cal P}_\kappa \lambda $ when cf(λ) < κ

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0011 ◽

2009 ◽

Author(s):

Hiroshi Sakai

Keyword(s):

Stationary Subsets

Download Full-text

GEOMETRIC SIMPLICITY THEORY

Proceedings of the 10th Asian Logic Conference ◽

10.1142/9789814293020_0009 ◽

2009 ◽

Author(s):

BYUNGHAN KIM

Download Full-text