Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 16
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Sánchez, Omar Léon 2016. On the model companion of partial differential fields with an automorphism. Israel Journal of Mathematics, Vol. 212, Issue. 1, p. 419.

    Shami, Ziv 2016. Continuity of SU-rank in unidimensional supersimple theories. Archive for Mathematical Logic, Vol. 55, Issue. 5-6, p. 663.

    Shami, Ziv 2015. A dichotomy for D-rank 1 types in simple theories. Israel Journal of Mathematics, Vol. 209, Issue. 2, p. 993.

    Chernikov, Artem 2014. Theories without the tree property of the second kind. Annals of Pure and Applied Logic, Vol. 165, Issue. 2, p. 695.

    Moosa, Rahim and Scanlon, Thomas 2014. Model theory of fields with free operators in characteristic zero. Journal of Mathematical Logic, Vol. 14, Issue. 02, p. 1450009.

    Shami, Ziv 2014. On uncountable hypersimple unidimensional theories. Archive for Mathematical Logic, Vol. 53, Issue. 1-2, p. 203.

    Palacín, Daniel 2012. On omega-categorical simple theories. Archive for Mathematical Logic, Vol. 51, Issue. 7-8, p. 709.

    Arai, Toshiyasu 2009. 10th Asian Logic Conference. Bulletin of Symbolic Logic, Vol. 15, Issue. 02, p. 246.

    Koponen, Vera 2009. Independence and the finite submodel property. Annals of Pure and Applied Logic, Vol. 158, Issue. 1-2, p. 58.


    Ben-Yaacov, Itay 2005. Compactness and Independence in Non First Order Frameworks. Bulletin of Symbolic Logic, Vol. 11, Issue. 01, p. 28.

    Shami, Ziv 2004. Internality and interpretable automorphism groups in simple theories. Annals of Pure and Applied Logic, Vol. 129, Issue. 1-3, p. 149.

    Ben-Yaacov, Itay Pillay, Anand and Vassiliev, Evgueni 2003. Lovely pairs of models. Annals of Pure and Applied Logic, Vol. 122, Issue. 1-3, p. 235.

    BEN-YAACOV, ITAY 2003. SIMPLICITY IN COMPACT ABSTRACT THEORIES. Journal of Mathematical Logic, Vol. 03, Issue. 02, p. 163.

    Vassiliev, Evgueni 2003. Generic pairs of SU-rank 1 structures. Annals of Pure and Applied Logic, Vol. 120, Issue. 1-3, p. 103.

    WAGNER, FRANK 2001. HYPERDEFINABLE GROUPS IN SIMPLE THEORIES. Journal of Mathematical Logic, Vol. 01, Issue. 01, p. 125.


Coordinatisation and canonical bases in simple theories

  • Bradd Hart (a1), Byunghan Kim (a2) and Anand Pillay (a3)
  • DOI:
  • Published online: 01 March 2014

In this paper we discuss several generalization of theorems from stability theory to simple theories. Cherlin and Hrushovski, in [2] develop a substitute for canonical bases in finite rank, ω-categorical supersimple theories. Motivated by methods there, we prove the existence of canonical bases (in a suitable sense) for types in any simple theory. This is done in Section 2. In general these canonical bases will (as far as we know) exist only as “hyperimaginaries”, namely objects of the form a/E where a is a possibly infinite tuple and E a type-definable equivalence relation. (In the supersimple, ω-categorical case, these reduce to ordinary imaginaries.) So in Section 1 we develop the general theory of hyperimaginaries and show how first order model theory (including the theory of forking) generalises to hyperimaginaries. We go on, in Section 3 to show the existence and ubiquity of regular types in supersimple theories, ω-categorical simple structures and modularity is discussed in Section 4. It is also shown here how the general machinery of simplicity simplifies some of the general theory of smoothly approximable (or Lie-coordinatizable) structures from [2].

Throughout this paper we will work in a large, saturated model M of a complete theory T. All types, sets and sequences will have size smaller than the size of M. We will assume that the reader is familiar with the basics of forking in simple theories as laid out in [4] and [6]. For basic stability-theoretic results concerning regular types, orthogonality etc., see [1] or [9].

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]S. Buechler , Essential stability theory, Perspectives in Mathematical Logic, Springer-Verlag, 1996.

[8]M. Makkai , A survey of basic stability theory with emphasis on regularity and orthogonality, Israel Journal of Mathematics, vol. 49 (1984), pp. 181238.

[10]S. Shelah , Simple unstable theories, Annals of Mathematical Logic, vol. 19 (1980), pp. 177203.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *