Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-22T14:05:27.707Z Has data issue: false hasContentIssue false
  • English
  • Français

Compactness and Independence in Non First Order Frameworks

Published online by Cambridge University Press:  15 January 2014

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

Abstract

This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory deals transparently with hyperimaginaries, and accommodates various analytic structures which defy direct first order treatment. We describe the development of simplicity theory in this setting, and an application to the lovely pairs of models of simple theories without the weak non finite cover property.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 11 , Issue 1 , March 2005 , pp. 28 - 50
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, Group configurations and germs in simple theories, The Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1581–1600.Google Scholar
[2] Ben-Yaacov, Itay, Théories simples: constructions de groupes et interprétabilité généralisée, Ph.D. thesis , Université Paris VII – Denis Diderot, 2002.Google Scholar
[3] Ben-Yaacov, Itay, On the fine structure of the polygroup blow-up, Archive for Mathematical Logic, vol. 42 (2003), pp. 649–663.CrossRefGoogle Scholar
[4] Ben-Yaacov, Itay, Positive model theory and compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), no. 1, pp. 85–118.Google Scholar
[5] Ben-Yaacov, Itay, Simplicity in compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), no. 2, pp. 163–191.CrossRefGoogle Scholar
[6] Ben-Yaacov, Itay, Thickness and a categoric view of type-space functors, Fundamenta Mathematicae, vol. 179 (2003), pp. 199–224.Google Scholar
[7] Ben-Yaacov, Itay, Lovely pairs of models: the non first order case, The Journal of Symbolic Logic, vol. 69 (2004), no. 3, pp. 641–662.Google Scholar
[8] Ben-Yaacov, Itay, Schrödinger's cat, submitted.Google Scholar
[9] Ben-Yaacov, Itay, Simple almost hyperdefinable groups, submitted.Google Scholar
[10] Ben-Yaacov, Itay, Uncountable dense categoricity in cats, submitted.Google Scholar
[11] Ben-Yaacov, Itay and Berenstein, Alexander, Imaginaries in Hilbert spaces, Archive for Mathematical Logic, vol. 43 (2004), no. 4, pp. 459–466.Google Scholar
[12] Ben-Yaacov, Itay, Berenstein, Alexander, and Henson, C. Ward, Model-theretic independence in Lp Banach lattices, in preparation.Google Scholar
[13] Ben-Yaacov, Itay, Pillay, Anand, and Vassiliev, Evgueni, Lovely pairs of models, Annals of Pure and Aplied Logic, vol. 122 (2003), pp. 235–261.Google Scholar
[14] Ben-Yaacov, Itay, Tomasic, Ivan, and Wagner, Frank O., The group configuration in simple theories and its applications, this Bulletin, vol. 8 (2002), no. 2, pp. 283–298.Google Scholar
[15] Ben-Yaacov, Itay, Tomasic, Ivan, and Wagner, Frank O., Constructing an almost hyperdefinable group, to appear in the Journal of Mathematical Logic.Google Scholar
[16] Casanovas, Enrique, Lascar, Daniel, Pillay, Anand, and Ziegler, Martin, Galois groups of first order theories, Journal of Mathematical Logic, vol. 1 (2001), no. 2, pp. 305–319.Google Scholar
[17] Hart, Bradd, Kim, Byunghan, and Pillay, Anand, Coordinatisation and canonical bases in simple theories, The Journal of Symbolic Logic, vol. 65 (2000), pp. 293–309.Google Scholar
[18] Henson, C. Ward, Nonstandard hulls of Banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108–144.Google Scholar
[19] Hrushovski, Ehud, Simplicity and the Lascar group, unpublished, 1997.Google Scholar
[20] Kim, Byunghan, Forking in simple unstable theories, Journal of the London Mathematical Society, vol. 57 (1998), no. 2, pp. 257–267.Google Scholar
[21] Kim, Byunghan and Pillay, Anand, Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149–164.Google Scholar
[22] Pillay, Anand, Forking in the category of existentially closed structures, Connections between model theory and algebraic and analytic geometry (Macintyre, Angus, editor), Quaderni di Matematica, vol. 6, University of Naples, 2000.Google Scholar
[23] Poizat, Bruno, Paires de structures stables, The Journal of Symbolic Logic, vol. 48 (1983), no. 2, pp. 239–249.Google Scholar
[24] Shelah, Saharon, The lazy model-theoreticians guide to stability, Logique et Analyse, vol. 71–72 (1975), pp. 241–308.Google Scholar
[25] Shelah, Saharon, Categoricity for abstract classes with amalgamation, Annals of Pure and Applied Logic, vol. 98 (1999), pp. 261–294.CrossRefGoogle Scholar
[26] Vassiliev, Evguenl, Generic pairs of SU-rank 1 structures, Annals of Pure and Applied Logic, vol. 120 (2002), pp. 103–149.CrossRefGoogle Scholar
[27] Wagner, Frank O., Simple theories, Kluwer Academic Publishers, 2000.Google Scholar
[28] Wagner, Frank O., Hyperdefinable groups in simple theories, Journal of Mathematical Logic, vol. 1 (2001), pp. 152–172.CrossRefGoogle Scholar