4059 results in Logic
5 - Theories with existence axioms
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 68-82
-
- Chapter
- Export citation
11 - Processes over time
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 228-252
-
- Chapter
- Export citation
12 - Quantified modal logic, provability logic, & other non-classical logics
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 222-253
-
- Chapter
- Export citation
14 - Computation as conversation
-
- Book:
- Logical Dynamics of Information and Interaction
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 303-312
-
- Chapter
- Export citation
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
![](https://assets.cambridge.org/97811070/08045/cover/9781107008045.jpg)
Set Theory, Arithmetic, and Foundations of Mathematics
- Theorems, Philosophies
-
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011
ω-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