5570 results in Programming Languages and Applied Logic
CHAPTER 9 - EFFECTIVE DESCRIPTIVE SET THEORY
- from Part 3 - Effective considerations
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 115-126
-
- Chapter
- Export citation
CHAPTER 4 - THE MODEL EXISTENCE THEOREM
- 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 39-50
-
- Chapter
- Export citation
References
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 440-465
-
- Chapter
- Export citation
INTRODUCTION
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 1-4
-
- Chapter
- Export citation
5 - Monads, Comonads and Distributive Laws
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 246-333
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 175-180
-
- Chapter
- Export citation
CHAPTER 8 - QUASIMINIMAL EXCELLENCE
- from Part 2 - Building uncountable models
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 97-112
-
- Chapter
- Export citation
CHAPTER 6 - ELEMENTARY CHAINS
- from Part 2 - Building uncountable models
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 65-82
-
- Chapter
- Export citation
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 5-6
-
- Chapter
- Export citation
Contents
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp v-vi
-
- Chapter
- Export citation
Part 2 - Building uncountable models
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 63-64
-
- Chapter
- Export citation
Contents
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp vii-viii
-
- Chapter
- Export citation
2 - Coalgebras of Polynomial Functors
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 33-113
-
- Chapter
- Export citation
Dedication
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp v-vi
-
- Chapter
- Export citation
4 - Logic, Lifting and Finality
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 159-245
-
- Chapter
- Export citation
CHAPTER 12 - SPECTRA OF VAUGHT COUNTEREXAMPLES
- from Part 3 - Effective considerations
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 151-158
-
- Chapter
- Export citation
Preface
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp vii-xvi
-
- Chapter
- Export citation
CHAPTER 1 - INFINITARY LANGUAGES
- 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 7-14
-
- Chapter
- Export citation
INDEX
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 181-183
-
- Chapter
- Export citation
CHAPTER 7 - VAUGHT COUNTEREXAMPLES
- from Part 2 - Building uncountable models
-
- Book:
- Lectures on Infinitary Model Theory
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016, pp 83-96
-
- Chapter
- Export citation