Skip to main content Accessibility help
×
Home
Hostname: page-component-55b6f6c457-9lvz7 Total loading time: 0.156 Render date: 2021-09-26T13:58:14.288Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

From Stability to Simplicity

Published online by Cambridge University Press:  15 January 2014

Byunghan Kim
Affiliation:
Mathematical Sciences Research Institute, 1000 Centennial Drive, Berkeley, CA 94720, USA E-mail: bkim@msri.org
Anand Pillay
Affiliation:
Department of Mathematics, University of Illinois Urbana, IL 61801, USA and Mathematical Sciences Research Institute 1000 Centennial Drive Berkeley, CA 94720, USA E-mail: pillay@math.uiuc.edu

Extract

§1. Introduction. In this report we wish to describe recent work on a class of first order theories first introduced by Shelah in [32], the simple theories. Major progress was made in the first author's doctoral thesis [17]. We will give a survey of this, as well as further works by the authors and others.

The class of simple theories includes stable theories, but also many more, such as the theory of the random graph. Moreover, many of the theories of particular algebraic structures which have been studied recently (pseudofinite fields, algebraically closed fields with a generic automorphism, smoothly approximable structures) turn out to be simple. The interest is basically that a large amount of the machinery of stability theory, invented by Shelah, is valid in the broader class of simple theories. Stable theories will be defined formally in the next section. An exhaustive study of them is carried out in [33]. Without trying to read Shelah's mind, we feel comfortable in saying that the importance of stability for Shelah lay partly in the fact that an unstable theory T has 2λ many models in any cardinal λ ≥ ω1 + |T| (proved by Shelah). (Note that for λ ≥ |T| 2λ is the maximum possible number of models of cardinality λ.)

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Ax, J., The elementary theory of finite fields, Annals of Mathematics, vol. 88 (1968), pp. 239271.CrossRefGoogle Scholar
[2] BuechLer, S., Lascar strong types in simple theories, preprint, 1997.Google Scholar
[3] Casanovas, E., The number of types in simple theories, preprint, 1997.Google Scholar
[4] Chatzidakis, Z. and Hrushovski, E., Model theory of difference fields, preprint, 1996.Google Scholar
[5] Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic (to appear).Google Scholar
[6] Chatzidakis, Z., van den Dries, L., and Macintyre, A. J., Definable sets over finite fields, Journal für die Reine und Angewandte Mathematik, vol. 427 (1992), pp. 107135.Google Scholar
[7] Cherlin, G., Large finite structures with few types, Proceedings of 1996 NATO ASI meeting at Fields Institute, to appear.Google Scholar
[8] Cherlin, G., Harrington, L., and Lachlan, A. H., ω-categorical, ω-stable structures, Annals of Pure and Applied Logic, vol. 28 (1985), pp. 103135.CrossRefGoogle Scholar
[9] Duret, J.-L., Les corps faiblement algébriquement clos non séparablement clos ont la propriété d'indépendance, Model theory of algebra and arithmetic, Lecture Notes in Mathematics, no. 834, Springer-Verlag, Berlin, 1980, pp. 136162.CrossRefGoogle Scholar
[10] Hart, B., Kim, B., and Pillay, A., Coordinatization and canonical bases in simple theories, in preparation.Google Scholar
[11] Hrushovski, E., Pseudofinite fields and related structures, preprint, 1992.Google Scholar
[12] Hrushovski, E., Finite structures with few types, Finite and infinite combinatorics in sets and logic, NATO ASI Series C: Mathematics and Physical Sciences, no. 411, Kluwer, Dordrecht, 1993, pp. 175187.CrossRefGoogle Scholar
[13] Hrushovski, E., The Manin-Mumford conjecture and difference fields, preprint, 1996.Google Scholar
[14] Hrushovski, E. and Pillay, A., Groups definable in local fields and pseudo-finite fields, Israel Journal of Mathematics, vol. 85 (1994), pp. 203262.CrossRefGoogle Scholar
[15] Hrushovski, E. and Pillay, A., Definable subgroups of algebraic groups over finite fields, Journal für die Reine und Angewandte Mathematik, vol. 462 (1995), pp. 6991.Google Scholar
[16] Kantor, W. M., Liebeck, M. W., and Macpherson, H. D., ω-categorical structures smoothly approximated by finite structures, Proceedings of the London Mathematical Society, vol. 59 (1989), no. 3, pp. 439463.CrossRefGoogle Scholar
[17] Kim, B., Simple first order theories, Ph.D. thesis , University of Notre Dame, 1996.Google Scholar
[18] Kim, B., Forking in simple unstable theories, Journal of the London Mathematical Society (to appear).Google Scholar
[19] Kim, B., A note on Lascar strong types in simple theories, The Journal of Symbolic Logic (to appear).Google Scholar
[20] Kim, B., On the number of countable models of a countable supersimple theory, Journal of the London Mathematical Society (to appear).Google Scholar
[21] Kim, B. and Pillay, A., Simple theories, Annals of Pure and Applied Logic (to appear).Google Scholar
[22] Lachlan, A. H., On the number of countable models of a countable superstable theory, Logic, methodology, philosophy of science, vol. IV, North-Holland, Amsterdam, 1973, pp. 4556.Google Scholar
[23] Lascar, D., On the category of models of a complete theory, The Journal of Symbolic Logic, vol. 82 (1982), pp. 249266.CrossRefGoogle Scholar
[24] Lascar, D., Recovering the action of an automorphism group, Logic: from foundations to applications (Hodges, W., Hyland, M., Steinhorn, C., and Truss, J., editors), Oxford University Press, 1996, European Logic Colloquium, Keele, 1993, pp. 313326.Google Scholar
[25] Lascar, D. and Pillay, A., Hyperimaginaries and automorphism groups, in preparation.Google Scholar
[26] Lascar, D. and Poizat, B., An introduction to forking, The Journal of Symbolic Logic, vol. 44 (1979), pp. 330350.CrossRefGoogle Scholar
[27] Pillay, A., An introduction to stability theory, Oxford University Press, Oxford, 1983.Google Scholar
[28] Pillay, A., Definability and definable groups in simple theories, The Journal of Symbolic Logic (to appear).Google Scholar
[29] Pillay, A. and Poizat, B., Pas d'imaginaires dans l'infini!, The Journal of Symbolic Logic, vol. 52 (1987), pp. 400403.CrossRefGoogle Scholar
[30] Pillay, A. and Poizat, B., Corps et chirurgie, The Journal of Symbolic Logic, vol. 60 (1995), pp. 528533.CrossRefGoogle Scholar
[31] Poizat, B., Groupes stables, Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne, 1987.Google Scholar
[32] Shelah, S., Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177203.CrossRefGoogle Scholar
[33] Shelah, S., Classification theory and the number of non-isomorphic models, 2nd ed., North-Holland, Amsterdam, 1990.Google Scholar
[34] Wagner, F. O., Groups in simple theories, preprint, 1997.Google Scholar
11
Cited by

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

From Stability to Simplicity
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

From Stability to Simplicity
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

From Stability to Simplicity
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *