5570 results in Programming Languages and Applied Logic
Chapter VIII - Recursion on Ordinals
- from Part C - Generalized Recursion Theories
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 371-444
-
- Chapter
- Export citation
1 - Definitions and Preliminaries
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 15-50
-
- Chapter
- Export citation
2 - Functions and Relations
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 2-3
-
- Chapter
- Export citation
3 - The Basic Machine
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 3-5
-
- Chapter
- Export citation
Epilogue
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 445-458
-
- Chapter
- Export citation
Part C - Infinitary Languages
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 269-270
-
- Chapter
- Export citation
6 - Superstable Theories
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 293-322
-
- Chapter
- Export citation
Chapter XVIII - Compactness, Embeddings and Definability
- from Part F - Advanced Topics in Abstract Model Theory
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 645-716
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 177-180
-
- Chapter
- Export citation
Index
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 181-183
-
- Chapter
- Export citation
Chapter XVI - The Dimensional Order Property
- from Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 316-340
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 339-342
-
- Chapter
- Export citation
Satisfaction classes and automorphisms of models of PA
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 159-170
-
- Chapter
- Export citation
5 - Related Lindstrom Extensions
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-130
-
- Chapter
- Export citation
Arithmetizing proofs in analysis
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-158
-
- Chapter
- Export citation
Chapter 1 - Further Topics in Computable Analysis
- from Part I - Computability in Classical Analysis
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 50-74
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Chapter II - Extended Logics: The General Framework
- from Part A - Introduction, Basic Theory and Examples
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 25-76
-
- Chapter
- Export citation
Contents
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xiii-xvi
-
- Chapter
- Export citation
4 - Fixed-Point Logic with Counting
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 97-114
-
- Chapter
- Export citation