5570 results in Programming Languages and Applied Logic
Arithmetic saturation
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 296-302
-
- Chapter
- Export citation
Index for Some computability-theoretic aspects of reals and randomness
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 146-148
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp ix-x
-
- Chapter
- Export citation
Countable models and the theory of Borel equivalence relations
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 1-42
-
- Chapter
- Export citation
Hilbert's wide program
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 228-251
-
- Chapter
- Export citation
Chapter 2 - Type Theory
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 43-70
-
- Chapter
- Export citation
Index forWeak fragments of Peano Arithmetic
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 185-185
-
- Chapter
- Export citation
Metapredicative and explicit Mahlo: a proof-theoretic perspective
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 272-293
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp v-vi
-
- Chapter
- Export citation
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
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