23 results
Transfinite Progressions: A Second Look at Completeness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 367-389
- Print publication:
- September 2004
-
- Article
- Export citation
2 - Arithmetical preliminaries
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 15-36
-
- Chapter
- Export citation
6 - Ordinals and inductive definitions
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 87-104
-
- Chapter
- Export citation
10 - Elementary and classical analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 175-186
-
- Chapter
- Export citation
14 - Iterated reflection
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 241-264
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-14
-
- Chapter
- Export citation
7 - Formal languages and the definition of truth
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 105-118
-
- Chapter
- Export citation
4 - The language of arithmetic
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 53-72
-
- Chapter
- Export citation
5 - The language of analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 73-86
-
- Chapter
- Export citation
Inexhaustibility
- A Non-Exhaustive Treatment
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
References
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 293-296
-
- Chapter
- Export citation
Index
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 297-306
-
- Chapter
- Export citation
Contents
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp vii-viii
-
- Chapter
- Export citation
8 - Logic and theories
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 119-142
-
- Chapter
- Export citation
11 - The recursion theorem and ordinal notations
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 187-208
-
- Chapter
- Export citation
3 - Primes and proofs
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 37-52
-
- Chapter
- Export citation
12 - The incompleteness theorems
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 209-224
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp ix-x
-
- Chapter
- Export citation
Dedication
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp v-vi
-
- Chapter
- Export citation
9 - Peano Arithmetic and computability
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 143-174
-
- Chapter
- Export citation