Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

DOI10.2307/2275887MaRDI QIDQ4876324zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen, S. Shelah

Publication date 1 May 1996

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9202205

zbMATH Keywords

equivalencenonstructure theoremsEhrenfeucht-Fraïssé gamesnonisomorphic models of unsuperstable theories

Mathematics Subject Classification ID

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

Abstract: We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HySh:474].

Recommendations

• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C

Cites work

• Constructing strongly equivalent nonisomorphic models for unstable theories

Cited in

(12)

• Constructing strongly equivalent nonisomorphic models for unstable theories
• Existence of EF-equivalent non-isomorphic models
• Non-pointed strongly protomodular theories
• ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES
• On long EF-equivalence in non-isomorphic models
• Generalized descriptive set theory and classification theory
• Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models
• Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• An unclassifiable unidimensional theory without OTOP
• On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)

This page was built for publication: Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876324)