Book contents
- Frontmatter
- Contents
- Introduction
- Note on notation
- 1 Naming of parts
- 2 Classifying structures
- 3 Structures that look alike
- 4 Automorphisms
- 5 Interpretations
- 6 The first-order case: compactness
- 7 The countable case
- 8 The existential case
- 9 The Horn case: products
- 10 Saturation
- 11 Combinatorics
- 12 Expansions and categoricity
- Appendix: Examples
- References
- Index to symbols
- Index
1 - Naming of parts
Published online by Cambridge University Press: 08 October 2009
- Frontmatter
- Contents
- Introduction
- Note on notation
- 1 Naming of parts
- 2 Classifying structures
- 3 Structures that look alike
- 4 Automorphisms
- 5 Interpretations
- 6 The first-order case: compactness
- 7 The countable case
- 8 The existential case
- 9 The Horn case: products
- 10 Saturation
- 11 Combinatorics
- 12 Expansions and categoricity
- Appendix: Examples
- References
- Index to symbols
- Index
Summary
Every person had in the beginning one only proper name, except the savages of Mount Atlas in Barbary, which were reported to be both nameless and dreamless.
William Camden.In this first chapter we meet the main subject-matter of model theory: structures.
Every mathematician handles structures of some kind – be they modules, groups, rings, fields, lattices, partial orderings, Banach algebras or whatever. This chapter will define basic notions like ‘element’, ‘homomorphism’, ‘substructure’, and the definitions are not meant to contain any surprises. The notion of a (Robinson) ‘diagram’ of a structure may look a little strange at first, but really it is nothing more than a generalisation of the multiplication table of a group.
Nevertheless there is something that the reader may find unsettling. Model theorists are forever talking about symbols, names and labels. A group theorist will happily write the same abelian group multiplicatively or additively, whichever is more convenient for the matter in hand. Not so the model theorist: for him or her the group with ‘·’ is one structure and the group with ‘+’ is a different structure. Change the name and you change the structure.
This must look like pedantry. Model theory is an offshoot of mathematical logic, and I can't deny that some distinguished logicians have been pedantic about symbols. Nevertheless there are several good reasons why model theorists take the view that they do. For the moment let me mention two.
- Type
- Chapter
- Information
- Model Theory , pp. 1 - 22Publisher: Cambridge University PressPrint publication year: 1993