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

    Fornasiero, Antongiulio 2013. Locally o-minimal structures and structures with locally o-minimal open core. Annals of Pure and Applied Logic, Vol. 164, Issue. 3, p. 211.


    Fischer, Andreas 2011. Positivstellensätze for differentiable functions. Positivity, Vol. 15, Issue. 2, p. 297.


    Fornasiero, Antongiulio 2011. Definably complete structures are not pseudo-enumerable. Archive for Mathematical Logic, Vol. 50, Issue. 5-6, p. 603.


    Servi, Tamara 2008. Noetherian varieties in definably complete structures. Logic and Analysis, Vol. 1, Issue. 3-4, p. 187.


    2003. 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02. Bulletin of Symbolic Logic, Vol. 9, Issue. 01, p. 71.


    ×

Expansions of dense linear orders with the intermediate value property

  • Chris Miller (a1)
  • DOI: http://dx.doi.org/10.2307/2694974
  • Published online: 01 March 2014
Abstract

Let ℜ be an expansion of a dense linear order (R, <) without endpoints having the intermediate value property, that is, for all a, bR, every continuous (parametrically) definable function f: [a, b] → R takes on all values in R between f(a) and f(b). Every expansion of the real line (ℝ, <), as well as every o-minimal expansion of (R, <), has the intermediate value property. Conversely, some nice properties, often associated with expansions of (ℝ, <) or with o-minimal structures, hold for sets and functions definable in ℜ. For example, images of closed bounded definable sets under continuous definable maps are closed and bounded (Proposition 1.10).

Of particular interest is the case that ℜ expands an ordered group, that is, ℜ defines a binary operation * such that (R, <, *) is an ordered group. Then (R, *) is abelian and divisible (Proposition 2.2). Continuous nontrivial definable endo-morphisms of (R, *) are surjective and strictly monotone, and monotone nontrivial definable endomorphisms of (R, *) are strictly monotone, continuous and surjective (Proposition 2.4). There is a generalization of the familiar result that every proper noncyclic subgroup of (ℝ, +) is dense and codense in ℝ: If G is a proper nontrivial subgroup of (R, *) definable in ℜ, then either G is dense and codense in R, or G contains an element u such that (R, <, *, e, u, G) is elementarily equivalent to (ℚ, <, +, 0, 1, ℤ), where e denotes the identity element of (R, *) (Theorem 2.3).

Here is an outline of this paper. First, we deal with some basic topological results. We then assume that ℜ expands an ordered group and establish the results mentioned in the preceding paragraph. Some examples are then given, followed by a brief discussion of analytic results and possible limitations. In an appendix, an explicit axiomatization (used in the proof of Theorem 2.3) is given for the complete theory of the structure (ℚ, <, +, 0, 1, ℤ).

Copyright
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.

[2]Y. Peterzil and C. Steinhorn , Definable compactness and definable subgroups ofo-minimal groups, Journal of the London Mathematical Society, vol. 59 (1999), pp. 769786.

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

[4]L. van den Dries , The field of reals with a predicate for the powers of two, Manuscript a Mathematica, vol. 54 (1985), pp. 187195.

[6]L. van den Dries , Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.

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