The spectrum problem. III: Universal theories
type: Item
instance of: scholarly article
title: The spectrum problem. III: Universal theories
zbMATH Open document ID: 0633.03022
DOI: 10.1007/BF02801997
author: S. Shelah
published in: Israel Journal of Mathematics
publication date: 1986-01-01T00:00:00Z
review text: [For Parts I and II see ibid. 43, 324-356, 357-364 (1982; Zbl 0532.03013 and Zbl 0532.03014.] It is proved that for stable complete T and C a big model of T, either A) for all elementary submodels \(M_ 0<M_ 1,M_ 2\) of C with \(M_ 1\) and \(M_ 2\) independent over \(M_ 0\), the substructure of C generated by \(M_ 1\cup M_ 2\) is an elementary substructure, or B) the universal part of T has an unstable completion. By Shelah theory it is concluded that if T is a universal (not necessarily complete) theory then either there is a structure theorem for the models of T (specifically any model is generated by a nonforking tree of small models) or T has \(2^{\lambda}\) models in every cardinality \(\lambda >| T|\). Examples are also given of, for all \(n<\omega\), a universal theory \(T_ n\) which is unstable but whose instability is not witnessed by a \(\Sigma_ n\)-formula.
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 4029522
zbMATH Keywords: elementary substructure
zbMATH Keywords: unstable completion
zbMATH Keywords: structure theorem
zbMATH Keywords: nonforking tree of small models
zbMATH Keywords: universal theory
reviewed by: Anand Pillay
MaRDI profile type: Publication
cites work: Classification theory and the number of non-isomorphic models
cites work: The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
cites work: The spectrum problem. II: Totally transcendental and infinite depth
cites work: Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
cites work: Classification of first order theories which have a structure theorem
description: scientific article; zbMATH DE number 4029522