5570 results in Programming Languages and Applied Logic
On CH + 2N1 → for
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 281-289
-
- Chapter
- Export citation
Index
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 153-154
-
- Chapter
- Export citation
16 - Evaluation of Degrees
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 59-62
-
- Chapter
- Export citation
Part B - Finite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 63-64
-
- Chapter
- Export citation
2 - Fine Structure
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 10-27
-
- Chapter
- Export citation
Chapter XX - Abstract Embedding Relations
- from Part F - Advanced Topics in Abstract Model Theory
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 747-792
-
- Chapter
- Export citation
Gödel '96
- Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
-
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017
Subject Index
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 388-394
-
- Chapter
- Export citation
The Number of Path-Components of a Compact Subset of Rn
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-16
-
- Chapter
- Export citation
Chapter V - Indiscernibles In Stable Theories
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 118-137
-
- Chapter
- Export citation
Chapter III - Hierarchies and Definability
- from Part A - Basic Notions of Definability
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 69-132
-
- Chapter
- Export citation
Bibliographical Remarks and Further Reading
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 397-408
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Chapter II - The Hyperarithmetic Hierarchy
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 22-51
-
- Chapter
- Export citation
7 - Canonization for Two Variables
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 149-176
-
- Chapter
- Export citation
CHAPTER 6 - Interpretability
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 75-93
-
- Chapter
- Export citation
Pons Asinorum
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
Fine Structure and Iteration Trees
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017