Matches in Library of Congress for { <http://lccn.loc.gov/2011022032> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2011022032 contributor B12125615.
- 2011022032 created "2011.".
- 2011022032 date "2011".
- 2011022032 date "2011.".
- 2011022032 dateCopyrighted "2011.".
- 2011022032 description "Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen.".
- 2011022032 description "Includes bibliographical references.".
- 2011022032 extent "xiii, 227 p. :".
- 2011022032 identifier "1107008042 (hardback)".
- 2011022032 identifier "9781107008045 (hardback)".
- 2011022032 identifier 9781107008045.jpg.
- 2011022032 isPartOf "Lecture notes in logic ; 36".
- 2011022032 isPartOf "Lecture notes in logic ; 36.".
- 2011022032 issued "2011".
- 2011022032 issued "2011.".
- 2011022032 language "eng".
- 2011022032 publisher "Cambridge ; New York : Cambridge University Press,".
- 2011022032 subject "510 23".
- 2011022032 subject "Logic, Symbolic and mathematical.".
- 2011022032 subject "Mathematics Philosophy.".
- 2011022032 subject "QA248 .S4125 2011".
- 2011022032 subject "Set theory.".
- 2011022032 tableOfContents "Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen.".
- 2011022032 title "Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak.".
- 2011022032 type "text".
