5570 results in Programming Languages and Applied Logic
2 - Iterability
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 10-24
-
- Chapter
- Export citation
Author Index
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 349-349
-
- Chapter
- Export citation
Chapter 4 - The Second Main Theorem, the Eigenvector Theorem, and Related Results
- from Part III - The Computability Theory of Eigenvalues and Eigenvectors
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 123-148
-
- Chapter
- Export citation
V=L and Maximize
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 134-152
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation
Chapter VII - More about L
- from Part C - Towards a General Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 257-310
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
CHAPTER 0 - Introduction
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation
Contributions of K. Gödel to Relativity and Cosmology
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 34-49
-
- Chapter
- Export citation
Contents
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Chapter XVI - Borel Structures and Measure and Category Logics
- from Part E - Logics of Topology and Analysis
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 579-596
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Miscellaneous Frontmatter
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Chapter IV - Elementary Results on HYPm
- from Part A - The Basic Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 113-150
-
- Chapter
- Export citation
Information content and computational complexity of recursive sets
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 235-246
-
- Chapter
- Export citation
Chapter III - Countable Fragments of L
- from Part A - The Basic Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 78-112
-
- Chapter
- Export citation
A note on the ordinal analysis of KPM
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-9
-
- Chapter
- Export citation
Symbol Index
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 143-146
-
- Chapter
- Export citation
Chapter XI - Forcing Computations to Converge
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 259-282
-
- Chapter
- Export citation
Part B - The Analytical and Projective Hierarchies
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 133-134
-
- Chapter
- Export citation