5570 results in Programming Languages and Applied Logic
4 - The hull and definability properties
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 29-34
-
- Chapter
- Export citation
Chapter 3 - The First Main Theorem and Its Applications
- from 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 93-120
-
- Chapter
- Export citation
Contents
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Authors' Preface
-
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
General Index
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 147-152
-
- Chapter
- Export citation
5 - The construction of true K
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 35-42
-
- Chapter
- Export citation
3 - Uncountably Categorical and N0—stable Theories
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 49-124
-
- Chapter
- Export citation
Part 3 - Effective considerations
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 113-114
-
- Chapter
- Export citation
CHAPTER 10 - HYPERARITHMETIC SETS
- from Part 3 - Effective considerations
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 127-138
-
- Chapter
- Export citation
3 - Bisimulations
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 114-158
-
- Chapter
- Export citation
APPENDIX B - ADMISSIBLILITY
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 163-174
-
- Chapter
- Export citation
APPENDIX A - ℵ1-FREE ABELIAN GROUPS
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 159-162
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp i-iv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp i-iv
-
- Chapter
- Export citation
Definition and Symbol Index
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 466-468
-
- Chapter
- Export citation
1 - Motivation
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 1-32
-
- Chapter
- Export citation
CHAPTER 11 - EFFECTIVE ASPECTS OF Lω1,ω
- from Part 3 - Effective considerations
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 139-150
-
- Chapter
- Export citation
CHAPTER 2 - BACK AND FORTH
- from Part 1 - Classical results in infinitary model theory
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 15-28
-
- Chapter
- Export citation
6 - Invariants and Assertions
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 334-439
-
- Chapter
- Export citation
CHAPTER 3 - THE SPACE OF COUNTABLE MODELS
- from Part 1 - Classical results in infinitary model theory
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 29-38
-
- Chapter
- Export citation