4059 results in Logic
3 - The Invariants
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-96
-
- Chapter
- Export citation
8 - Embeddings of K
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 73-88
-
- Chapter
- Export citation
Contents
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
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
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
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
![](https://assets.cambridge.org/97811071/67902/cover/9781107167902.jpg)
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
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
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
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
Frontmatter
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- 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
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
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
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