Uncountable Dense Categoricity in Cats

Journal of Symbolic Logic 70 (3):829 - 860 (2005)
  Copy   BIBTEX

Abstract

We prove that under reasonable assumptions, every cat (compact abstract theory) is metric, and develop some of the theory of metric cats. We generalise Morley's theorem: if a countable Hausdorff cat T has a unique complete model of density character Λ ≥ ω₁, then it has a unique complete model of density character Λ for every Λ ≥ ω₁

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1122038916

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
The cat page.Bas van Fraassen - manuscript
Intentionality.Alex Byrne - 2005 - In Sahotra Sarkar & Jessica Pfeifer (eds.), The Philosophy of Science: An Encyclopedia. New York: Routledge.
Rich models.Michael H. Albert & Rami P. Grossberg - 1990 - Journal of Symbolic Logic 55 (3):1292-1298.
Do Cats Have Beliefs?Manuel Bremer - 2008 - In Stephen Hales (ed.), What Philosophy Teaches You about Your Cat.
Some results on permutation group isomorphism and categoricity.Anand Pillay & Mark D. Schlatter - 2002 - Journal of Symbolic Logic 67 (3):910-914.
Reply to mr. Aranyosi.David H. Sanford - 2003 - Analysis 63 (4):305–309.
Upward Categoricity from a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
Being and Being Called.Diego Marconi - 2009 - Journal of Philosophy 106 (3):113-136.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
The Sacks density theorem and Σ2-bounding.Marcia J. Groszek, Michael E. Mytilinaios & Theodore A. Slaman - 1996 - Journal of Symbolic Logic 61 (2):450 - 467.
On automorphism groups of countable structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.

Analytics

Added to PP
2010-08-24

Downloads
42 (#377,400)

6 months
12 (#210,071)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
On Stable Quotients.Krzysztof Krupiński & Adrián Portillo - 2022 - Notre Dame Journal of Formal Logic 63 (3):373-394.

View all 12 citations / Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.

Add more references