5570 results in Programming Languages and Applied Logic
Chapter XIV - Probability Quantifiers
- from Part E - Logics of Topology and Analysis
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 509-556
-
- Chapter
- Export citation
CHAPTER 7 - Degrees of interpretabilty
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 94-118
-
- Chapter
- Export citation
Chapter IV - The First Level
- from Part B - The Analytical and Projective Hierarchies
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 135-200
-
- Chapter
- Export citation
A bottom-up approach to foundations of mathematics
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 81-97
-
- Chapter
- Export citation
Chapter IV - Finite Equivalence Relations, Definability, and Strong Types
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 99-117
-
- Chapter
- Export citation
12 - Relative Recursion
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 39-43
-
- Chapter
- Export citation
Chapter VI - Hyperregularity and Priority
- from Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 135-148
-
- Chapter
- Export citation
Part A - Basic Notions of Definability
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 5-6
-
- Chapter
- Export citation
References
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 345-350
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
II. - Model Theory of Differential Fields
-
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 38-113
-
- Chapter
- Export citation
Contents
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xi-xiv
-
- Chapter
- Export citation
Chapter 2 - Abstract Logics as Models of Sentential Logics
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 31-58
-
- Chapter
- Export citation
Chapter 1 - Generalities on Abstract Logics and Sentential Logics
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 15-30
-
- Chapter
- Export citation
Contents
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xi-xii
-
- Chapter
- Export citation
Part E - Logics of Topology and Analysis
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 507-508
-
- Chapter
- Export citation
Preface
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-viii
-
- Chapter
- Export citation
Dedication
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Major Dependencies
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xiv-xiv
-
- Chapter
- Export citation
Introduction
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation