5570 results in Programming Languages and Applied Logic
Towards a Categorical Foundation of Mathematics
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 153-190
-
- Chapter
- Export citation
Chapter VIII - Lω1ω and Admissible Fragments
- from Part C - Infinitary Languages
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 271-316
-
- Chapter
- Export citation
About the irreflexivity hypothesis for free left distributive magmas
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 46-61
-
- Chapter
- Export citation
Rather Classless, Highly Saturated Models of Peano Arithmetic
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 237-246
-
- Chapter
- Export citation
Chapter 7 - Computations Over Two Types
- from Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 167-181
-
- Chapter
- Export citation
Maps
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xi-xii
-
- Chapter
- Export citation
Higher Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Bibliography
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 793-893
-
- Chapter
- Export citation
General Recursion Theory
- An Axiomatic Approach
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
5 - Stability
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 213-292
-
- Chapter
- Export citation
9 - Uniqueness of the Next Extender
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 89-95
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
3 - Thick classes and universal weasels
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 25-28
-
- Chapter
- Export citation
CHAPTER 3 - Numerations of r.e. sets
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 42-51
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 343-344
-
- Chapter
- Export citation
Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 113-114
-
- Chapter
- Export citation
Logic Colloquium '95
- Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Contents
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Forcing on Bounded Arithmetic
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 120-138
-
- Chapter
- Export citation
11 - The Construction
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 99-107
-
- Chapter
- Export citation