Model TheoryCambridge University Press, 11 mar 1993 - 772 Professor Hodges emphasizes 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. |
Spis treści
Naming of parts | 1 |
5 | 22 |
15 | 30 |
18 | 37 |
Interpretations | 201 |
History and bibliography | 260 |
The countable case | 323 |
The existential case | 360 |
Expansions and categoricity | 599 |
Examples | 653 |
Abelian groups | 662 |
Nilpotent groups of class 2 | 673 |
Groups | 688 |
Fields | 695 |
Linear orderings | 706 |
References | 716 |
Inne wydania - Wyświetl wszystko
Model Theory Wilfrid Hodges,School of Mathematical Sciences Wilfrid Hodges,Hodges Wilfrid Podgląd niedostępny - 1993 |
Kluczowe wyrazy i wyrażenia
1-ary relation symbol abelian groups algebraically closed fields amalgamation atomic formula Aut(A automorphism axiomatisable axioms boolean algebra categorical class of L-structures commutative compactness theorem complete theory complete type contains Corollary definable definition dom(A e.c. model elementarily equivalent elementary embedding elementary extension elementary substructure equivalent modulo example Exercises for section finite set finite subset first-order formula first-order language first-order theory following are equivalent formula p(x function symbol functor geometry hence homomorphism induction infinite cardinal interpretation isomorphism Keisler Lemma linear ordering Math minimal set model theory Morley rank n-tuples non-empty ordinal parameters player positive integer prove quantifier elimination recursive rings saturated sentence sequence set of elements Shelah Show signature Skolem strongly minimal structure subgroup Suppose Symbolic Logic Tarski totally transcendental tuple tuple ā tuple of elements uncountable unnested V₁ variables w-categorical write