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

    Cubides Kovacsics, Pablo and Delon, Françoise 2016. Definable types in algebraically closed valued fields. Mathematical Logic Quarterly, Vol. 62, Issue. 1-2, p. 35.

    Pillay, Anand and Yao, Ningyuan 2016. On minimal flows, definably amenable groups, and o-minimality. Advances in Mathematics, Vol. 290, p. 483.

    Yao, Ningyuan and Long, Dongyang 2015. Topological dynamics for groups definable in real closed field. Annals of Pure and Applied Logic, Vol. 166, Issue. 3, p. 261.

    Ramakrishnan, Janak 2014. Definable functions continuous on curves in o-minimal structures. Annals of Pure and Applied Logic, Vol. 165, Issue. 7-8, p. 1339.

    Lion, Jean-Marie and Speissegger, Patrick 2013. Hausdorff limits of Rolle leaves. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, Vol. 107, Issue. 1, p. 79.

    Augustin, Doris 2012. The Membership Problem for finitely generated quadratic modules in the univariate case. Journal of Pure and Applied Algebra, Vol. 216, Issue. 10, p. 2204.

    ONSHUUS, ALF and STEINHORN, CHARLES 2009. ON LINEARLY ORDERED STRUCTURES OF FINITE RANK. Journal of Mathematical Logic, Vol. 09, Issue. 02, p. 201.

    Urquhart, Alasdair 2009. 2009 North American Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic, Vol. 15, Issue. 04, p. 441.

    Tressl, Marcus 2006. Pseudo completions and completions in stages of o-minimal structures. Archive for Mathematical Logic, Vol. 45, Issue. 8, p. 983.

    Chapuis, Olivier and Koiran, Pascal 1999. Saturation and stability in the theory of computation over the reals. Annals of Pure and Applied Logic, Vol. 99, Issue. 1-3, p. 1.


Definable types in -minimal theories

  • David Marker (a1) and Charles I. Steinhorn (a2)
  • DOI:
  • Published online: 01 March 2014

Let L be a first order language. If M is an L-structure, let LM be the expansion of L obtained by adding constants for the elements of M.

Definition. A type is definable if and only if for any L-formula , there is an LM-formula so that for all iff Mdθ(¯). The formula dθ is called the definition of θ.

Definable types play a central role in stability theory and have also proven useful in the study of models of arithmetic. We also remark that it is well known and easy to see that for MN, the property that every M-type realized in N is definable is equivalent to N being a conservative extension of M, where

Definition. If MN, we say that N is a conservative extension of M if for any n and any LN -definable SNn, SMn is LM-definable in M.

Van den Dries [Dl] studied definable types over real closed fields and proved the following result.

0.1 (van den Dries), (i) Every type over (R, +, -,0,1) is definable.

(ii) Let F and K be real closed fields and F ⊂ K. Then, the following are equivalent:

(a) Every element of K that is bounded in absolute value by an element of F is infinitely close (in the sense of F) to an element of F.

(b) K is a conservative extension of F.

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.

[D2]L. P. D. van den Dries , A generalization of the Tarski-Seidenberg theorem, Bulletin of the American Mathematical Society, vol. 15 (1986), pp. 189193.

[K-P-S]J. Knight , A. Pillay , and C. Steinhorn , Definable sets in ordered structures II, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 593605.

[P-S1]A. Pillay and C. Steinhorn , Definable sets in ordered structures I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565592.

[P-S2]A. Pillay and C. Steinhorn , Discrete -minimal structures, Annals of Pure and Applied Logic, vol. 34 (1987), pp. 275289.

[P-S3]A. Pillay and C. Steinhorn , Definable sets in ordered structures III, Transactions of the American Mathematical Society, vol. 309 (1988), pp. 469476.

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? *