Skip to main content Accessibility help
×
Home
Hostname: page-component-65dc7cd545-srjzm Total loading time: 0.203 Render date: 2021-07-25T22:35:05.673Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

Simplicity, and stability in there

Published online by Cambridge University Press:  12 March 2014

Byunghan Kim
Affiliation:
Department of Mathematics, 2-171, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139., USA, E-mail: bkim@math.mit.edu
Corresponding
E-mail address:

Abstract

Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability part of stability theory to simplicity theory. In particular, using elimination of hyperimaginaries we prove that for any supersimple T. canonical base of an amalgamation class is the union of names of ψ-definitions of , ψ ranging over stationary L-formulas in . Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below.

References

[1]Buechler, S., Lascar strong types in some simple theories, this Journal, vol. 64 (1999), pp. 817–824.Google Scholar
[2]Buechler, S., Pillay, A., and Wagner, F. O., Supersimple theories, Journal of the American Mathematical Society, vol. 14 (2000), pp. 109–124.Google Scholar
[3]Hart, B., Kim, B., and Pillay, A., Coordinatization and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293–309.Google Scholar
[4]Kim, B., Simple first order theories, Ph.D. thesis, University of Notre Dame, 1996.Google Scholar
[5]Kim, B., Forking in simple unstable theories, The Journal of the London Mathematical Society, vol. 57 (1998), no. 2, pp. 257–267.CrossRefGoogle Scholar
[6]Kim, B., A note on Lascar strong types in simple theories, this Journal, vol. 63 (1998), pp. 926–936.Google Scholar
[7]Kim, B. and Pillay, A., From stability to simplicity, The Bulletin of Symbolic Logic, vol. 1 (1998), no. 4, pp. 17–36.Google Scholar
[8]Kim, B. and Pillay, A., Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149–164.CrossRefGoogle Scholar
[9]Pillay, A., Definability and definable groups in simple theories, this Journal, vol, 63 (1998), pp. 788796.Google Scholar
[10]Pillay, A. and Lascar, D., Hyperimaginaries and automorphism groups, this Journal, to appear.Google Scholar
[11]Shami, Z., Definability in low simple theories, this Journal, vol. 65 (2000), pp. 1481–1490.Google Scholar
[12]Shelah, S., Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177–203.CrossRefGoogle Scholar
10
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.

Simplicity, and stability in there
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.

Simplicity, and stability in there
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.

Simplicity, and stability in there
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? *