Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
From MaRDI portal
Publication:4876324
DOI10.2307/2275887zbMATH Open0841.03016arXivmath/9202205OpenAlexW2950141805MaRDI QIDQ4876324FDOQ4876324
Authors: Tapani Hyttinen, S. Shelah
Publication date: 1 May 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
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].
Full work available at URL: https://arxiv.org/abs/math/9202205
Recommendations
equivalencenonstructure theoremsEhrenfeucht-Fraïssé gamesnonisomorphic models of unsuperstable theories
Cites Work
Cited In (11)
- 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 A
- On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
- An unclassifiable unidimensional theory without OTOP
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)