Abstract
Buon giorno. This is the first of eight lectures on the model theoretic notion of theory of algebraic type. Some examples of the notion are the theories of algebraically closed fields of characteristic p (p ≥ 0), real closed fields and differentially closed fields of characteristic 0. The last example is the most important for two reasons. First, it is the only one known whose complexity matches that of the general case. Second, several results about differential fields, results which hold for all theories of algebraic type, were first proved by model theoretic means.
The key definition is quite compact, but five lectures will be needed to unpack it. A theory T is said to be of algebraic type if T is complete, T is the model completion of a universal theóry, and T is quasi-totally transcendental. In the brief time left before the onset of formalities, let me indicate why the theory of algebraically closed fields of characteristic 0 (ACF0) is of algebraic type. The completeness of ACF0 means that the same first order sentences are true in all algebraically closed fields of characteristic 0. Thus a first order sentence in the language of fields is true of the complex numbers if and only if it is true of the algebraic numbers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L.Blum, Generalized Algebraic Structures; A Model Theoretic Approach,Ph.D.Thesis,Massachusetts Institute of Technology, 1968.
G.E.Sacks, Saturated Model Theory,Benjamin, Reading,Massachusetts,1972.
N.Jacobson, Basic Algebra I, Friedman, San Francisco,1974.
G.E.Sacks,Effective bounds on Morley rank, to appear.
S.Shelah, Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, Jour.Symb.Log., 37(1972),107–113.
J.F.Ritt, Differential Algebra,Amer.Math.Soc. Colloquium Publ.,33(1950).
A.Robinson, On the concept of a differentially closed field, Bull. Res.Council Israel,Sect.F,8(1959),113–128.
A.Seidenberg,An elimination theory for differential algebra, Univ.California Publ.Math.,3(1956),31–65.
L. Harrington,Recursively presentable prime models,Jour,of Symb.Log.,39(1974),305–309.
E.R. Kolchin,Constrained extensions of differential fields, Advances in Mathematics,12(1974),141–170.
M. Rosenlicht,The nonminimality of the differential closure, Pacific Jour,of Math.,to appear
S.Shelah, Differentially closed fields,Israel Jour,of Math.,16(1973),314–328.
C.Wood,The model theory of differential fields of characteristic p≠0,Proc.Amer.Math.Soc.,40(1973),577–584.
C. Wood,Prime model extensions for differential fields of characteristic p≠0, Jour,of Symb.Log.,39(1974), 469–477.
S.Shelah, Stability and the Number of Non-Isomorphic Models, North-Holland, Amsterdam, in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sacks, G.E. (2010). Model Theory and Applications. In: Mangani, P. (eds) Model Theory and Applications. C.I.M.E. Summer Schools, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11121-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-11121-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11119-8
Online ISBN: 978-3-642-11121-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)