An Invitation to Model Theory
Autor Jonathan Kirbyen Limba Engleză Hardback – 18 apr 2019
Preț: 443.38 lei
Preț vechi: 547.37 lei
-19%
Puncte Express: 665
Carte tipărită la comandă
Livrare economică 20 iulie-03 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9781107163881
ISBN-10: 1107163889
Pagini: 198
Ilustrații: 5 b/w illus.
Dimensiuni: 157 x 235 x 15 mm
Greutate: 0.45 kg
Editura: Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 1107163889
Pagini: 198
Ilustrații: 5 b/w illus.
Dimensiuni: 157 x 235 x 15 mm
Greutate: 0.45 kg
Editura: 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.