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 769 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

AL CHITAT CHONG ET, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang - Computational Prospects Of Infinity - Part I: Tutorials, Inbunden

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, 2008

2 769 kr

Chong Chitat, Chi Tat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng - Forcing, Iterated Ultrapowers, And Turing Degrees, Inbunden

Del 29

Forcing, Iterated Ultrapowers, And Turing Degrees

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

Inbunden, 2015

1 559 kr

AL CHITAT CHONG ET, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, Sebastian A Terwijn, Guohua Wu - Computational Prospects Of Infinity - Part Ii: Presented Talks, Inbunden

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, 2008

3 429 kr

Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin - E-recursion, Forcing And C*-algebras, Häftad

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, 2014

489 kr

DOWNEY ROD, Rodney G Downey, Decheng Ding, Shih Ping Tung, Yu Hui Qiu, Mariko Yasugi - Proceedings Of The 7th And 8th Asian Logic Conferences, Inbunden

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, 2003

3 339 kr

Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin - E-recursion, Forcing And C*-algebras, Inbunden

Del 27

E-recursion, Forcing And C*-algebras

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

Inbunden, 2014

1 459 kr

Stevo Todorcevic, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang - Notes On Forcing Axioms, Inbunden

Del 26

Notes On Forcing Axioms

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

Inbunden, 2014

1 299 kr

ARAI T, Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono, Toshiyasu Arai, Jorg Brendle - Proceedings Of The 10th Asian Logic Conference, Inbunden

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, 2009

2 689 kr

Chong Chitat, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin - Infinity And Truth, Inbunden

Del 25

Infinity And Truth

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

Inbunden, 2014

1 169 kr

Denis R Hirschfeldt, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin - Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles, Inbunden

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, 2014

799 kr