4059 results in Logic
TUTORIALS
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 1-2
-
- Chapter
- Export citation
The limit theory of generic polynomials
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 242-254
-
- Chapter
- Export citation
“Natural” representations and extensions of Gödel's second theorem 350
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 350-368
-
- Chapter
- Export citation
Notions of compactness in weak subsystems of second order arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 47-66
-
- Chapter
- Export citation
Russell's logics
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 335-349
-
- Chapter
- Export citation
WQO and BQO theory in subsystems of second order arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 303-330
-
- Chapter
- Export citation
![](http://assets.cambridge.org/97813167/55884/cover/9781316755884.jpg)
Logic Colloquium 2000
-
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005
Reverse mathematics and graph coloring: eliminating diagonalization
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 331-348
-
- Chapter
- Export citation
Chapter 5 - Choice and Function Terms
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 137-150
-
- Chapter
- Export citation
Chapter 4 - Recursions
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 99-136
-
- Chapter
- Export citation
Reverse mathematics, Archimedean classes, and Hahn's Theorem
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 147-163
-
- Chapter
- Export citation
A survey of the reversemathematics of ordinal arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 222-234
-
- Chapter
- Export citation
The Baire category theoremover a feasible base theory
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 164-174
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp v-viii
-
- Chapter
- Export citation
Chapter 7 - Logic and Mathematics
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 171-184
-
- Chapter
- Export citation
Representation theorem for models of dynamic intensional logic
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 160-173
-
- Chapter
- Export citation
Weak theories of nonstandard arithmetic and analysis
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 19-46
-
- Chapter
- Export citation
Aspects of the Turing jump
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 365-382
-
- Chapter
- Export citation
Models of arithmetic: quantifiers and complexity
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 271-280
-
- Chapter
- Export citation
Preface
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp v-vi
-
- Chapter
- Export citation