Show simple item record

dc.contributor.authorBaldwin, John T.
dc.contributor.authorShelah, Saharon
dc.date.accessioned2013-11-15T15:44:36Z
dc.date.available2013-11-15T15:44:36Z
dc.date.issued2012-06
dc.identifier.bibliographicCitationJ.T. Baldwin and S. Shelah. Stability spectrum for classes of atomic models. Journal of Mathematical Logic, 12, 2012. DOI: 10.1142/S0219061312500018en_US
dc.identifier.issn0219-0613
dc.identifier.urihttp://hdl.handle.net/10027/10496
dc.descriptionElectronic version of an article published as Journal of Mathematical Logic, 12, 1, 2012, DOI:10.1142/S0219061312500018 © World Scientific Publishing Company, worldscientific.comen_US
dc.description.abstractWe prove two results on the stability spectrum for L-omega 1,L-omega. Here S-i(m)(M) denotes an appropriate notion (at or mod) of Stone space of m-types over M. (1) Theorem for unstable case: Suppose that for some positive integer m and for every alpha < delta(T), there is an M epsilon K with vertical bar S-i(m)(M)vertical bar > vertical bar M vertical bar(beth alpha(vertical bar T vertical bar)). Then for every lambda >= vertical bar T vertical bar, there is an M with vertical bar S-i(m) (M)vertical bar > vertical bar M vertical bar = lambda (2) Theorem for strictly stable case: Suppose that for every alpha < delta(T), there is M-alpha epsilon K such that lambda(alpha) = vertical bar M-alpha vertical bar >= beth(alpha) and vertical bar S-i(m) (M-alpha)vertical bar > lambda(alpha). Then for any mu with mu(N0) > mu, K is not i-stable in mu. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of L-omega 1,L-omega. Further we provide some context for a number of variants on the Ehrenfeucht-Mostowski constructionen_US
dc.description.sponsorshipBaldwin was partially supported by NSF-0500841. Shelah thanks the Binational Science Foundation for partial support of this research.en_US
dc.language.isoen_USen_US
dc.publisherWorld Scientific Publishingen_US
dc.subjectAtomic modelsen_US
dc.subjectstability spectrumen_US
dc.subjecttree indiscerniblesen_US
dc.titleThe Stability spectrum for classes of atomic modelsen_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record