This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-orderlogic), and as a reference for more experienced logicians and mathematicians.Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of otherareas such as set theory, geometry, algebra (in particular group theory), andcomputer science (e.g. logic programming and specification). Professor Hodgesemphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference. INDICE: Part I. Language and Structure: 1. Naming of parts; 2. Classifyingstructures; 3. Structures that look alike; 4. Automorphisms; 5. Interpretations; Part II. Piecing Together a Structure: 6. The first order case; 7. The countable case; 8. The existential case; 9. The Horn case; Part III. Consequencesof Compactness: 10. Saturation; 11. Combinatorial; 12. Expansions and categoricity; Examples; Bibliography; Index.
- ISBN: 978-0-521-06636-5
- Editorial: Cambridge University
- Encuadernacion: Rústica
- Páginas: 788
- Fecha Publicación: 19/06/2008
- Nº Volúmenes: 1
- Idioma: Inglés