Set Theory, Arithmetic, and Foundations of Mathematics
Theorems, Philosophies
Herausgeber: Kennedy, Juliette; Kossak, Roman
Set Theory, Arithmetic, and Foundations of Mathematics
Theorems, Philosophies
Herausgeber: Kennedy, Juliette; Kossak, Roman
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.
Andere Kunden interessierten sich auch für
- Jan Krajicek (Prague Academy of Sciences of the Czech Republic)Bounded Arithmetic, Propositional Logic and Complexity Theory101,99 €
- John R. Steel (Berkeley University of California)A Comparison Process for Mouse Pairs170,99 €
- Algorithmic Randomness160,99 €
- Handbook of Constructive Mathematics196,99 €
- The Semantic Conception of Logic35,99 €
- Geoffrey Hellman (University of Minnesota)Mathematics and Its Logics105,99 €
- Jonathan Kirby (University of East Anglia)An Invitation to Model Theory35,99 €
-
-
-
A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.
Produktdetails
- Produktdetails
- Lecture Notes in Logic
- Verlag: Cambridge University Press
- Seitenzahl: 242
- Erscheinungstermin: 17. Oktober 2011
- Englisch
- Abmessung: 236mm x 159mm x 19mm
- Gewicht: 482g
- ISBN-13: 9781107008045
- ISBN-10: 1107008042
- Artikelnr.: 33216943
- Lecture Notes in Logic
- Verlag: Cambridge University Press
- Seitenzahl: 242
- Erscheinungstermin: 17. Oktober 2011
- Englisch
- Abmessung: 236mm x 159mm x 19mm
- Gewicht: 482g
- ISBN-13: 9781107008045
- ISBN-10: 1107008042
- Artikelnr.: 33216943
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
conjecture W. Hugh Woodin; 4.
-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
2.
conjecture W. Hugh Woodin; 4.
-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
2.
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
conjecture W. Hugh Woodin; 4.
-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
2.
conjecture W. Hugh Woodin; 4.
-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
2.