Comparing notions of similarity for uncountable models
Journal of Symbolic Logic 60 (4):1153-1167 (1995)
| Abstract | The present article, which is a revised version of part of [Hu1], deals with various relations between models which might serve as exact formulations for the vague concept "similar" or "almost isomorphic". One natural class of such formulations is equivalence in a given logic. Another way to express similarity is by potential isomorphism, i.e., isomorphism in some extension of the set-theoretic universe. The class of extensions may be restricted to give different notions of potential isomorphism. A third method is to study the winning strategies for an Ehrenfeucht-Fraisse-game played between the two models, and the properties of the resulting equivalence and nonequivalence trees. The basic question studied here is whether one such notion of similarity implies another. Some implications and counterexamples listed in this part are previously known or trivial, but all are mentioned for completeness' sake. Only models of cardinality ℵ 1 are considered. Some results are therefore connected with the Continuum Hypothesis | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAli Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Emmanuel M. Pothos (2005). The Rules Versus Similarity Distinction. Behavioral and Brain Sciences 28 (1):1-14.
Michael Ray Oliver (2004). Continuum-Many Boolean Algebras of the Form $\Mathcal{P}(\Omega)/\Mathcal{I}, \Mathcal{I}$ Borel. Journal of Symbolic Logic 69 (3):799 - 816.
Dedre Gentner (2001). Exhuming Similarity. Behavioral and Brain Sciences 24 (4):669-669.
Mauricio Suarez (2003). Scientific Representation: Against Similarity and Isomorphism. International Studies in the Philosophy of Science 17 (3):225-244.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
Tapani Hyttinen & Jouko Väänänen (1990). On Scott and Karp Trees of Uncountable Models. Journal of Symbolic Logic 55 (3):897-908.
Rainer Kerth (1998). Isomorphism and Equational Equivalence of Continuous Λ-Models. Studia Logica 61 (3):403-415.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
