Abstract. 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.
The paper introduces the notion of definable compactness and within the context of o‐minimal structures proves several topological properties of definably compact spaces. In particular a definable set in an o‐minimal structure is definably compact (with respect to the subspace topology) if and only if it is closed and bounded. Definable compactness is then applied to the study of groups and rings in o‐minimal structures. The main result proved is that any infinite definable group in an o‐minimal structure that is not definably compact contains a definable torsion‐free subgroup of dimension 1. With this theorem, a complete characterization is given of all rings without zero divisors that are definable in o‐minimal structures. The paper concludes with several examples illustrating some limitations on extending the theorem.
Abstract. A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field is real closed. We also develop a substantial theory of definable sets in weakly o-minimal structures, patterned, as much as possible, after that for o-minimal structures.
Abstract. A collection C of finite L-structures is a 1-dimensional asymptotic class if for every m ∈ N and every formula ϕ(x,ȳ), whereȳ = (y 1 , . . . , y m ):(i) There is a positive constant C and a finite set E ⊂ R >0 such that forOne-dimensional asymptotic classes are introduced and studied here. These classes come equipped with a notion of dimension that is intended to provide for the study of classes of finite structures a concept that is central in the development of model theory for infinite structures. Connections with the model theory of infinite structures are also drawn.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.