Continuous first order logic and local stability. (English) Zbl 1200.03024
Summary: We develop continuous first-order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson’s logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.
MSC:
| 03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |
| 03C45 | Classification theory, stability, and related concepts in model theory |
References:
| [1] | Itaï Ben Yaacov, Alexander Berenstein, and C. Ward Henson, Model-theoretic independence in the Banach lattices \( L^p(\mu)\), Israel Journal of Mathematics, to appear, arXiv:0907.5273. · Zbl 1232.46020 |
| [2] | Itaï Ben Yaacov, Definability of groups in \( \aleph_0\)-stable metric structures, Journal of Symbolic Logic, to appear, arXiv:0802.4286. · Zbl 1205.03047 |
| [3] | -, On perturbations of continuous structures, Journal of Mathematical Logic, to appear, arXiv:0802.4388. · Zbl 1191.03027 |
| [4] | Itay Ben-Yaacov, Positive model theory and compact abstract theories, J. Math. Log. 3 (2003), no. 1, 85 – 118. · Zbl 1028.03034 · doi:10.1142/S0219061303000212 |
| [5] | Itay Ben-Yaacov, Uncountable dense categoricity in cats, J. Symbolic Logic 70 (2005), no. 3, 829 – 860. · Zbl 1084.03028 · doi:10.2178/jsl/1122038916 |
| [6] | Itaï Ben Yaacov, Topometric spaces and perturbations of metric structures, Log. Anal. 1 (2008), no. 3-4, 235 – 272. · Zbl 1180.03040 · doi:10.1007/s11813-008-0009-x |
| [7] | Itaï Ben Yaacov, Modular functionals and perturbations of Nakano spaces, J. Log. Anal. 1 (2009), Paper 1, 42. · Zbl 1163.03021 · doi:10.4115/jla.2009.1.1 |
| [8] | Itaï Ben Yaacov and Alexander Usvyatsov, On \?-finiteness in continuous structures, Fund. Math. 194 (2007), no. 1, 67 – 88. · Zbl 1121.03045 · doi:10.4064/fm194-1-4 |
| [9] | Chen-chung Chang and H. Jerome Keisler, Continuous model theory, Annals of Mathematics Studies, No. 58, Princeton Univ. Press, Princeton, N.J., 1966. · Zbl 0149.00402 |
| [10] | D. H. Fremlin, Measure theory volumne 3: Measure algebras, Torres Fremlin, 25 Ireton Road, Colchester CO3 3AT, England, 2004, http://www.essex.ac.uk/maths/staff/fremlin/mt3.2004/index.htm. · Zbl 1165.28002 |
| [11] | C. Ward Henson and José Iovino, Ultraproducts in analysis, Analysis and logic (Mons, 1997) London Math. Soc. Lecture Note Ser., vol. 262, Cambridge Univ. Press, Cambridge, 2002, pp. 1 – 110. · Zbl 1026.46007 |
| [12] | J.-L. Krivine and B. Maurey, Espaces de Banach stables, Israel J. Math. 39 (1981), no. 4, 273 – 295 (French, with English summary). · Zbl 0504.46013 · doi:10.1007/BF02761674 |
| [13] | Hilton Vieira Machado, A characterization of convex subsets of normed spaces, Kōdai Math. Sem. Rep. 25 (1973), 307 – 320. · Zbl 0271.54021 |
| [14] | Anand Pillay, Geometric stability theory, Oxford Logic Guides, vol. 32, The Clarendon Press, Oxford University Press, New York, 1996. Oxford Science Publications. · Zbl 0871.03023 |
| [15] | Saharon Shelah and Alexander Usvyatsov, Model theoretic stability and categoricity for complete metric spaces, preprint. · Zbl 1223.03020 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
