Jump to main content

yr 〜
yr

Search results 7

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
Paper図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
Other Libraries in Japan
  • Author HeadingChong, Chi-Tat Feng, Qi Slaman, T. A. (Theodore Allen) Woodin, W. H. (W. Hugh) Yang,...

Infinity and truth

Infinity and truth
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • Author HeadingChong, Chi-Tat Feng, Qi Slaman, T. A. (Theodore Allen) Woodin, W. H. (W. Hugh)

Notes on forcing axioms

Notes on forcing axioms
Paper図書
Stevo Todorcevic ; editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • Author Heading..., Qi Yang, Yue Slaman, T. A. (Theodore Allen) Woodin, W. H. (W. Hugh)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1996.<MA41-A95>
National Diet Library
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen) , 1954- Wainer, S. S.

Computability, enumerability, unsolvability : directions in recursion theory

Computability, enumerability, unsolvability : directions in recursion theory
Paper図書
edited by S.B. Cooper, T.A. Slaman, S.S. WainerCambridge University Press1996
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen) Wainer, S. S London Mathemati...

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 : gw : us

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 : gw : us
Paper図書
J. Shinoda, T.A. Slaman, T. Tugué (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author Heading篠田, 壽一 Slaman, T. A. (Theodore Allen) 柘植, 利之 Meeting on Mathematica...

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)
Paper図書
Springer-Verlag1989.<M15-A5048>
National Diet LibraryOther Libraries in Japan
  • Author Heading篠田, 寿一, 1948- Slaman, T. A. (Theodore Allen) , 1954- 柘植, 利之, 1926-2009

Reached to the end of result.

RSS