An invitation to model theory
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press
2019
|
| Materias: | |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991000960489708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
Tabla de Contenidos:
- Structures
- Terms
- Formulas
- Definable sets
- Substructures and quantifiers
- Theories and axioms
- The complex and real fields
- Compactness and new constants
- Axiomatisable classes
- Cardinality considerations
- Constructing models from syntax
- Elementary substructures
- Elementary extensions
- Vector spaces and categoricity
- Linear orders
- The successor structure
- Quantifier elimination for DLO
- Substructure completeness
- Power sets and boolean algebras
- The algebras of definable sets
- Real vector spaces and parameters
- Semi-algebraic sets
- Realising types
- Omitting types
- Countable categoricity
- Large and small countable models
- Saturated models
- Fields and their extensions
- Algebraic closures of fields
- Categoricity and completeness
- Definable sets and varieties
- Hilbert's nullstellensatz.
