Proceedings Of The Sixth Asian Logic Conference

Häftad, Engelska, 1998

AvChong C T,Chi Tat Chong,Mariko Yasugi,Qi Feng,Qieyuan Huang,Decheng Ding

1 719 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.

Produktinformation

Utgivningsdatum1998-04-14
Mått152 x 229 x 20 mm
Vikt533 g
FormatHäftad
SpråkEngelska
Antal sidor368
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810234324

Tillhör följande kategorier

Seminormal fine measures on Pk(lambda), Y. Abe; recursion theory and weak fragments of Peano arithmetic - a study of definable cuts, C.T. Chong and Y. Yang; lattice embedding into d-r.e. degrees preserving 0 and 1, D. Ding and L. Qian; on stationary reflection principles, Q. Feng; decidability and undecidability in the enumerable Turing degrees, S. Lempp; a note on weak segments of PFA, T. Miyamoto; linear set theory with strict comprehension, M. Shirahata; a solution to a problem of Marek and Truszcy ski, K. Su and H. Chen; DNK and natural reasoning, M. Yasugi and M. Nakata; Asian logic conferences, M. Yasugi; other papers.

Du kanske också är intresserad av

Del 14

Computational Prospects Of Infinity - Part I: Tutorials

AL CHITAT CHONG ET, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang

Inbunden

2 109 kr

Del 29

Forcing, Iterated Ultrapowers, And Turing Degrees

Chong Chitat, Chi Tat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng

Inbunden

1 529 kr

Del 15

Computational Prospects Of Infinity - Part Ii: Presented Talks

AL CHITAT CHONG ET, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, Sebastian A Terwijn, Guohua Wu

Inbunden

3 359 kr

Del 27

E-recursion, Forcing And C*-algebras

Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin

Häftad

479 kr

Proceedings Of The 7th And 8th Asian Logic Conferences

DOWNEY ROD, Rodney G Downey, Decheng Ding, Shih Ping Tung, Yu Hui Qiu, Mariko Yasugi

Inbunden

3 249 kr

Del 27

E-recursion, Forcing And C*-algebras

Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin

Inbunden

1 419 kr

Del 26

Notes On Forcing Axioms

Stevo Todorcevic, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang

Inbunden

1 259 kr

Proceedings Of The 10th Asian Logic Conference

ARAI T, Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono, Toshiyasu Arai, Jorg Brendle

Inbunden

2 129 kr

Del 25

Infinity And Truth

Chong Chitat, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin

Inbunden

1 139 kr

Del 28

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

Denis R Hirschfeldt, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin

Inbunden

779 kr