An Invitation to Model Theory
Autor Jonathan Kirbyen Limba Engleză Hardback – 17 apr 2019
Preț: 432.54 lei
Preț vechi: 534.01 lei
-19%
Puncte Express: 649
Carte tipărită la comandă
Livrare economică 02-16 iunie
Specificații
ISBN-13: 9781107163881
ISBN-10: 1107163889
Pagini: 194
Ilustrații: 5 b/w illus.
Dimensiuni: 156 x 234 x 15 mm
Greutate: 0.41 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 1107163889
Pagini: 194
Ilustrații: 5 b/w illus.
Dimensiuni: 156 x 234 x 15 mm
Greutate: 0.41 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
Cuprins
Preface; Part I. Languages and Structures: 1. Structures; 2. Terms; 3. Formulas; 4. Definable sets; 5. Substructures and quantifiers; Part II. Theories and Compactness: 6. Theories and axioms; 7. The complex and real fields; 8. Compactness and new constants; 9. Axiomatisable classes; 10. Cardinality considerations; 11. Constructing models from syntax; Part III. Changing Models: 12. Elementary substructures; 13. Elementary extensions; 14. Vector spaces and categoricity; 15. Linear orders; 16. The successor structure; Part IV. Characterising Definable Sets: 17. Quantifier elimination for DLO; 18. Substructure completeness; 19. Power sets and Boolean algebras; 20. The algebras of definable sets; 21. Real vector spaces and parameters; 22. Semi-algebraic sets; Part V. Types: 23. Realising types; 24. Omitting types; 25. Countable categoricity; 26. Large and small countable models; 27. Saturated models; Part VI. Algebraically Closed Fields: 28. Fields and their extensions; 29. Algebraic closures of fields; 30. Categoricity and completeness; 31. Definable sets and varieties; 32. Hilbert's Nullstellensatz; Bibliography; Index.
Descriere
An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.