All pages
All pages |
- Automoprhism groups
- Automorphism groups in general
- Automorphisms groups of countable recursively saturated models
- Automorphisms of countable recursively saturated models
- Bibtex
- Complexity and classification of countable models
- Cuts in models of PA and independence results
- Cuts in recursively saturated models
- End extensions, cofinal extensions
- Errata
- Friedman's 14-th problem.
- Integer parts of real closed fields
- Jonsson models
- Kanovei's question
- Lattices of elementary substructures
- Lattices of elementary substructures.
- Library
- Main Page
- Model theory of weak fragments of arithmetic
- Nonstandard satisfaction classes
- Nonstandard satisfaction classes.
- Omitting theories of undefinable sets
- Peano's Parlour
- Rather classless models.
- Recursively saturated, resplendent models, and saturated models
- Recursively saturated, resplendent models, and saturated models.
- Resplendent models
- Rigid models
- Saturated models
- Short recursively saturated models and boundedly saturated models
- Standard systems and the Scott set problem
- Standard systems and the Scott set problem.
- The Scott set problem.
- Uncountable models with interesting second-order properties
- Uncountable models with interesting second-order properties.