Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-06T02:42:04.642Z Has data issue: false hasContentIssue false
  • English
  • Français

Uncountable dense categoricity in cats

Published online by Cambridge University Press:  12 March 2014

Itay Ben-Yaacov
Itay Ben-Yaacov*
Affiliation:
University of Wisconsin – Madison, Department of Mathematics, 480 Lincoln Drive, Madison, WI 53706-1388, USAE-mail:, [email protected] URL: http://www.math.wisc.edu/~pezz
Get access Rights & Permissions [Opens in a new window]

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 λ ≥ ω.

Keywords

categoricitycompact abstract theories
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 70 , Issue 3 , September 2005 , pp. 829 - 860
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Ben-Yaacov, Itay, Positive model theory and compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), no. 1, pp. 85–118.CrossRefGoogle Scholar
[2]Ben-Yaacov, Itay, Simplicity in compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), no. 2, pp. 163–191.CrossRefGoogle Scholar
[3]Ben-Yaacov, Itay, Thickness, and a categoric view of type-space functors, Fundamenta Mathematicae, vol. 179 (2003), pp. 199–224.CrossRefGoogle Scholar
[4]Ben-Yaacov, Itay, Schrödinger's cat, submitted.Google Scholar
[5]Hart, Bradd, Kim, Byunghan, and Pillay, Anand, Coordinatisation and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293–309.Google Scholar
[6]Henson, C. Ward, Nonstandard hulls of banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108–144.CrossRefGoogle Scholar
[7]Henson, C. Ward and Iovino, José, Ultraproducts in analysis, Analysis and logic (Finet, Catherine and Michaux, Christian, editors), London Mathematical Society Lecture Notes Series, no. 262, Cambridge University Press, 2002.Google Scholar
[8]Iovino, José, The morley rank of a banach space, this Journal, vol. 61 (1996), no. 3, pp. 928–941.Google Scholar
[9]Kim, Byunghan and Pillay, Anand, Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149–164.CrossRefGoogle Scholar
[10]Poizat, Bruno, Corns de théorie des modèles, Nur al-Mantiq wal-Ma'rifah, 1985.Google Scholar
[11]Shelah, Saharon, The lazy model-theoretician's guide to stability, Logique et Analyse, vol. 71-72 (1975), pp. 241–308.Google Scholar