dc.contributor.author | Baldwin, John T. | |

dc.contributor.author | Shelah, Saharon | |

dc.date.accessioned | 2013-11-15T15:44:36Z | |

dc.date.available | 2013-11-15T15:44:36Z | |

dc.date.issued | 2012-06 | |

dc.identifier.bibliographicCitation | J.T. Baldwin and S. Shelah. Stability spectrum for classes of atomic models. Journal of Mathematical Logic, 12, 2012. DOI: 10.1142/S0219061312500018 | en_US |

dc.identifier.issn | 0219-0613 | |

dc.identifier.uri | http://hdl.handle.net/10027/10496 | |

dc.description | Electronic version of an article published as Journal of Mathematical Logic, 12, 1, 2012, DOI:10.1142/S0219061312500018 © World Scientific Publishing Company, worldscientific.com | en_US |

dc.description.abstract | We 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 construction | en_US |

dc.description.sponsorship | Baldwin was partially supported by NSF-0500841. Shelah thanks the
Binational Science Foundation for partial support of this research. | en_US |

dc.language.iso | en_US | en_US |

dc.publisher | World Scientific Publishing | en_US |

dc.subject | Atomic models | en_US |

dc.subject | stability spectrum | en_US |

dc.subject | tree indiscernibles | en_US |

dc.title | The Stability spectrum for classes of atomic
models | en_US |

dc.type | Article | en_US |