5570 results in Programming Languages and Applied Logic
Notation
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 217-219
-
- Chapter
- Export citation
References
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 459-466
-
- Chapter
- Export citation
Chapter VII - Rank
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 156-169
-
- Chapter
- Export citation
Index of definitions
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 111-112
-
- Chapter
- Export citation
Contents
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xi-xiv
-
- Chapter
- Export citation
Chapter IV - The Quantifier “There Exist Uncountably Many” and Some of Its Relatives
- from Part B - Finitary Languages with Additional Quantifiers
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 123-176
-
- Chapter
- Export citation
Chapter V - The Recursion Theory of Predicates on Admissible Sets
- from Part B - The Absolute Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 153-196
-
- Chapter
- Export citation
CHAPTER 2 - Incompleteness
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 23-41
-
- Chapter
- Export citation
11 - Undecidable Theories
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 32-39
-
- Chapter
- Export citation
Contents
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Index
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 473-480
-
- Chapter
- Export citation
The finite stages of inductive definitions
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 267-290
-
- Chapter
- Export citation
Essential Stability Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
On the structure of gamma degrees
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 290-305
-
- Chapter
- Export citation
Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 281-282
-
- Chapter
- Export citation
Preface
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp ix-xii
-
- Chapter
- Export citation
7 - Some applications
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 53-72
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematic Logic
-
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Computationally-Sound Proofs
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 214-268
-
- Chapter
- Export citation
Accessible Segments of the Fast Growing Hierarchy
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 339-348
-
- Chapter
- Export citation