Let m be an expansion of a dense linear order without endpoints. (M, <). Then the following are equivalent: 1. 9) has the IVP. 2. sup A c M and inf A c M for ...

Every expansion of the real line (ℝ, <), as well as every o-minimal expansion of (R, <), has the intermediate value property. Conversely, some nice properties, ...

Let 5K be an expansion of a dense linear order (R, <) without endpoints having the intermediate value property, that is, for all a, b € R, every continuous ...

Jul 8, 2019 · To show that P P is real closed, we show that every positive Puiseux series is a square and that every odd-degree polynomial over P P has a root ...

Mar 21, 2019 · Expansions of dense linear orders with the intermediate value property. J. Symbolic Logic, 66(4):1783–1790, 2001. [11] Alexander Ostrowski ...

An expansion of a dense linear order without endpoints is d-minimal if its complete theory is d-minimal. See [FM05, Mil05, MT06] for some examples of ...

The open core of an expansion of a dense linear order is its reduct, in the sense of definability, generated by the collection of all of its open definable sets ...

A first-order theory extending the theory of dense linear orders without endpoints is d-minimal (short for “discrete-minimal”) if, in every model, every unary ...

Nov 16, 2021 · [10] C. Miller, Expansions of dense linear orders with the intermediate value property, J. Symbolic. Logic, 66 (2001), 1783-1790.

Missing: Expansions | Show results with:Expansions