A Guide to Classical and Modern Model Theory
Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume-is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Elimination of imaginaries
Model Theory and Algebraic Geometry
Other editions - View all
0-definable Accordingly acl(X algebraically closed fields assume automorphism cardinal Chapter classification closure Compactness complete theory Conjecture consequently Corollary countable DCFo decomposition deduce definable sets definable subsets Definition denote dense linear orders differential field differentially closed fields domain elementarily equivalent elementary function elementary substructure elements embedding endpoints enlarge examples existentially closed exists extension fact fields of characteristic finite union formula p(v framework hence implies infinite intervals irreducible isolated isomorphism L-formula L(X)-formula language Lemma model completeness Model Theory Morley degree Morley rank n-type non-algebraic Notice notion o-minimal structure ordered field ordinal parameters particular pointwise positive integer pp-formulas prime models Proof quantifier elimination quantifier free formula real closed field realize recall relation RM(p RM(X satisfying saturated model sentences sequence Shelah's small subset strongly minimal subfield subgroup symbol Theorem tuple uncountable unique vectorspaces w-stable group w-stable theories Zariski