- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Existence of EF-equivalent non-isomorphic models
Mathematical Logic Quarterly 53 (2):111-127 (2007)
Abstract
We prove the existence of pairs of models of the same cardinality which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but we do not rely on it. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291-310.
Isomorphic but not lower base-isomorphic cylindric set algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
On inverse γ-systems and the number of l∞λ- equivalent, non-isomorphic models for λ singular.Saharon Shelah & Pauli Väisänen - 2000 - Journal of Symbolic Logic 65 (1):272 - 284.
On Inverse $gamma$-Systems and the Number of L$_{inftylambda}$- Equivalent, Non-Isomorphic Models for $lambda$ Singular.Saharon Shelah & Pauli Väisänen - 2000 - Journal of Symbolic Logic 65 (1):272-284.
Regular ultrafilters and finite square principles.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2008 - Journal of Symbolic Logic 73 (3):817-823.
Categoricity theorems and conceptions of set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
On perturbations of continuous structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):225-249.
Rich models.Michael H. Albert & Rami P. Grossberg - 1990 - Journal of Symbolic Logic 55 (3):1292-1298.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Action Emulation between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.
Analytics
Added to PP
2013-12-01
Downloads
15 (#923,100)
6 months
5 (#629,136)
2013-12-01
Downloads
15 (#923,100)
6 months
5 (#629,136)
Historical graph of downloads
Citations of this work
References found in this work
Constructing strongly equivalent nonisomorphic models for unstable theories.Tapani Hyttinen & Heikki Tuuri - 1991 - Annals of Pure and Applied Logic 52 (3):203-248.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291-310.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291.
A pair of nonisomorphic ðìlambda models of power lambda for lambda singular with lambda omega=.Saharon Shelah - 1984 - Notre Dame Journal of Formal Logic 25:97-104.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo