|
|
|
|
LEADER |
02523nam a22003733a 4500 |
001 |
f2669efc-290d-4f88-904d-aeed0fcf5638 |
005 |
20240812000000.0 |
008 |
111108s2011 enka o 000 0 eng d |
020 |
|
|
|a 1139141929 (electronic bk.)
|
020 |
|
|
|a 9781139141925 (electronic bk.)
|
020 |
|
|
|z 1107008042 (hardback)
|
020 |
|
|
|z 9781107008045 (hardback)
|
035 |
|
|
|a ybp7214848
|
040 |
|
|
|a NhCcYBP
|c NhCcYBP
|
082 |
0 |
4 |
|a 510
|2 23
|
084 |
|
|
|a MAT018000
|2 bisacsh
|
090 |
|
|
|a QA248
|b .S4125 2011
|
245 |
0 |
0 |
|a Set theory, arithmetic, and foundations of mathematics :
|b theorems, philosophies /
|c edited by Juliette Kennedy, Roman Kossak
|
260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 2011
|
300 |
|
|
|a 1 online resource
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in logic ;
|v 36
|
500 |
|
|
|a Description based on print version record
|
505 |
8 |
|
|a Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James H. Schmerl; 9. History of constructivism in the 20th century A. S. Troelstra; 10. A very short history of ultrafinitism Rose M. Cherubin and Mirco A. Mannucci; 11. Sue Toledo's notes of her conversations with Gödel in 1972-1975 Sue Toledo; 12. Stanley Tennenbaum's Socrates Curtis Franks; 13. Tennenbaum's proof of the irrationality of [the square root of] 2́
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|
650 |
|
0 |
|a Mathematics
|x Philosophy
|
650 |
|
0 |
|a Set theory
|
700 |
1 |
|
|a Kennedy, Juliette,
|d 1955-
|1 http://viaf.org/viaf/170613562
|
700 |
1 |
|
|a Kossak, Roman,
|d 1953-
|1 http://viaf.org/viaf/69209292
|
776 |
|
|
|c Original
|z 9781107008045
|z 1107008042
|w (DLC) 2011022032
|
830 |
|
0 |
|a Lecture notes in logic ;
|v 36
|
999 |
1 |
0 |
|i f2669efc-290d-4f88-904d-aeed0fcf5638
|l 8531527
|s US-ICU
|m set_theory_arithmetic_and_foundations_of_mathematicstheorems_philosoph_____2011_______cambra___________________________________________________________________________e
|