5570 results in Programming Languages and Applied Logic
Chapter XIX - Abstract Equivalence Relations
- from Part F - Advanced Topics in Abstract Model Theory
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 717-746
-
- Chapter
- Export citation
I. - Introduction to the Model Theory of Fields
-
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-37
-
- Chapter
- Export citation
Chapter 8 - Set Recursion and Higher Types
- from Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 182-208
-
- Chapter
- Export citation
10 - Closure under Initial Segment
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 96-98
-
- Chapter
- Export citation
Preface
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
A transfinite version of Puiseux's theorem, with applications to real closed fields
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 250-258
-
- Chapter
- Export citation
Author's Preface
-
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Contents
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Part II - The Computability Theory of Banach Spaces
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 75-76
-
- Chapter
- Export citation
3 - Squashed Mice
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 28-33
-
- Chapter
- Export citation
Gödel and the Theory of Everything
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 291-306
-
- Chapter
- Export citation
Chapter I - Constructive Ordinals and Sets
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 3-21
-
- Chapter
- Export citation
Admissible Sets and Structures
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
1 - The construction of Kc
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-9
-
- Chapter
- Export citation
On similarities of complete theories
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 259-265
-
- Chapter
- Export citation
Chapter X - E-Closed Structures
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 233-258
-
- Chapter
- Export citation
Introduction
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Zil'ber's Trichotomy and o-minimal Structures
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 273-274
-
- Chapter
- Export citation
An intuitionistic theory of lawlike, choice and lawless sequences
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 191-209
-
- Chapter
- Export citation
Strongly Minimal Sets and Geometry
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 191-213
-
- Chapter
- Export citation