15 results in Set Theory, Arithmetic, and Foundations of Mathematics
Stanley Tennenbaum's Socrates
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 208-225
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp i-vi
-
- Chapter
- Export citation
Tennenbaum's theorem for models of arithmetic
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 66-79
-
- Chapter
- Export citation
Sue Toledo's notes of her conversations with Gödel in 1972–5
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 200-207
-
- Chapter
- Export citation
ω-models of finite set theory
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 43-65
-
- Chapter
- Export citation
Contents
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp vii-viii
-
- Chapter
- Export citation
History of constructivism in the 20th century
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 150-179
-
- Chapter
- Export citation
Tennenbaum's proof of the irrationality of √2
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 226-227
-
- Chapter
- Export citation
Historical remarks on Suslin's problem
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 1-12
-
- Chapter
- Export citation
A very short history of ultrafinitism
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 180-199
-
- Chapter
- Export citation
Introduction
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp ix-xiv
-
- Chapter
- Export citation
The continuum hypothesis, the generic-multiverse of sets, and the Ω conjecture
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 13-42
-
- Chapter
- Export citation
Tennenbaum's theorem and recursive reducts
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 112-149
-
- Chapter
- Export citation
Diophantine correct open induction
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 93-111
-
- Chapter
- Export citation
Hierarchies of subsystems of weak arithmetic
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 80-92
-
- Chapter
- Export citation