Proceedings Of The 13th Asian Logic Conference

Inbunden, Engelska, 2015

AvZHAO XISHUN,Zhao Xishun,Xishun Zhao,Qi Feng,Byunghan Kim,Liang Yu,China) Zhao, Xishun (Sun Yat-sen Univ,China) Feng, Qi (Chinese Academy Of Sciences,South Korea) Kim, Byunghan (Yonsei Univ,China) Yu, Liang (Nanjing Univ

1 979 kr

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

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.

Produktinformation

Utgivningsdatum2015-04-29
Mått157 x 235 x 18 mm
Vikt524 g
FormatInbunden
SpråkEngelska
Antal sidor252
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789814675994

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jorg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and Andre Nies); Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey, Keng Meng Ng); Degree Spectra of Equivalence Relations (Liang Yu); Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda); Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo); Large Cardinals and Higher Degree Theory (Xianghui Shi); Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov); On Categorical Relationship Among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty); Realizability and Existence Property of a Constructive Set Theory with Types (F Kachapova); A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama); On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano); Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu); A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles);

Du kanske också är intresserad av

Computational Prospects Of Infinity - Part I: Tutorials

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, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley, S'pore) Yang, Yue (Nus

2 089 kr

Forcing, Iterated Ultrapowers, And Turing Degrees

Del 29

Forcing, Iterated Ultrapowers, And Turing Degrees

CHONG CHITAT, Chong Chitat, Chi Tat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng, S'pore) Chong, Chi Tat (Nus, Usa) Woodin, W Hugh (The Univ Of California, Berkeley, Usa) Slaman, Theodore A (Univ Of California, Berkeley, S'pore) Yang, Yue (Nus, China) Feng, Qi (Chinese Academy Of Sciences, W. Hugh Woodin

1 509 kr

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

ARAI TOSHIYASU, Arai Toshiyasu, Byunghan Kim, Toshiyasu Arai, Yue Yang, Guohua Wu, Qi Feng, South Korea) Kim, Byunghan (Yonsei Univ, Japan) Arai, Toshiyasu (Chiba Univ, S'pore) Yang, Yue (Nus, S'pore) Wu, Guohua (Ntu, China) Feng, Qi (Chinese Academy Of Sciences

1 829 kr

Computational Prospects Of Infinity - Part Ii: Presented Talks

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, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley, S'pore) Yang, Yue (Nus, The Netherlands) Terwijn, Sebastian A (Radboud Univ, S'pore) Wu, Guohua (Ntu

3 309 kr

E-recursion, Forcing And C*-algebras

Del 27

E-recursion, Forcing And C*-algebras

CHONG CHITAT, Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, S'pore) Yang, Yue (Nus, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley

469 kr

Proceedings Of The 12th Asian Logic Conference

Proceedings Of The 12th Asian Logic Conference

DOWNEY ROD, Downey Rod, Rodney G Downey, Jorg Brendle, Robert Goldblatt, Byunghan Kim, New Zealand) Downey, Rodney G (Victoria Univ Of Wellington, Japan) Brendle, Jorg (Kobe University, New Zealand) Goldblatt, Robert (Victoria Univ Of Wellington, South Korea) Kim, Byunghan (Yonsei Univ, Rodney G. Downey

2 299 kr

E-recursion, Forcing And C*-algebras

Del 27

E-recursion, Forcing And C*-algebras

CHONG CHITAT, Chong Chitat, Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, S'pore) Yang, Yue (Nus, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley

1 409 kr

Notes On Forcing Axioms

Del 26

Notes On Forcing Axioms

Stevo Todorcevic, Canada) Todorcevic, Stevo (Univ Of Toronto, TODORCEVIC STEVO, Todorcevic Stevo, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, S'pore) Chong, Chi Tat (Nus, China) Feng, Qi (Chinese Academy Of Sciences, Usa) Slaman, Theodore A (Univ Of California, Berkeley, Usa) Woodin, W Hugh (The Univ Of California, Berkeley, S'pore) Yang, Yue (Nus

1 249 kr

Proceedings Of The 10th Asian Logic Conference

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, S'pore) Chong, Chi Tat (Nus, New Zealand) Downey, Rodney G (Victoria Univ Of Wellington, China) Feng, Qi (Chinese Academy Of Sciences, Japan) Kikyo, Hirotaka (Kobe Univ, Japan) Ono, Hiroakira (Japan Advanced Inst Of Sci & Tech, Japan) Arai, Toshiyasu (Chiba Univ, Japan) Brendle, Jorg (Kobe University, Rodney G. Downey

2 109 kr