Constructing strongly equivalent nonisomorphic models for unstable theories

DOI10.1016/0168-0072(91)90031-GzbMath0735.03016OpenAlexW2053265745MaRDI QIDQ1176196

Heikki Tuuri, Tapani Hyttinen

Publication date: 25 June 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(91)90031-g

zbMATH Keywords

stable theorysuperstable theoryDOPOTOPunstable theorystrong nonstructure theoremstrongly equivalent nonisomorphic models

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Related Items

Classification theory and 0^#, Potential isomorphism of elementary substructures of a strictly stable homogeneous model, Trees and -subsets of ^ω1ω₁, Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B, Constructing strongly equivalent nonisomorphic models for unstable theories, Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages, A generalized Borel-reducibility counterpart of Shelah's main gap theorem, On ‐complete equivalence relations on the generalized Baire space, Abelian \(p\)-groups with no invariants, Generalized Descriptive Set Theory and Classification Theory, Game-theoretic inductive definability

Cites Work

• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Classification theory and the number of non-isomorphic models
• The number of non-isomorphic models of an unstable first-order theory
• A combinatorial problem; stability and order for models and theories in infinitary languages
• Model theory for infinite quantifier languages
• On Scott and Karp trees of uncountable models
• On Ehrenfeucht-Fraïssé equivalence of linear orderings
• Classification of first order theories which have a structure theorem
• Algebraically closed groups of large cardinality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item