On _0-categorical weakly o-minimal structures
A structure \(M\) is o-minimal, if it carries a linear order such that every definable subset of \(M\) is a finite union of intervals of this order. A complete classification of \(\aleph_0\)-categorical, o-minimal structures was given by \textit{A. Pillay} and \textit{C. Steinhorn} [``Definable sets in ordered structures, Bull. Am. Math. Soc., New Ser. 11, 159-162 (1984; Zbl 0542.03016)]. The paper under review continues this work to give a classification of \(\aleph_0\)-categorical, weakly o-minimal structures. Call a subset \(C\) of \(M\) convex, if for any two points \(x, y \in C\) all points between \(x\) and \(y\) are also contained in \(C\). Then \(M\) is called weakly o-minimal, if every definable subset is a finite union of convex subsets. The authors consider only 1-indiscernible structures, i.e. structures with a single 1-type. They show that up to binary structure, \(Q^n\) ordered lexicographically and equipped with the metric \(d: Q^n \times Q^n \to \{0,\ldots, n\}\) described below, is essentially the only \(\aleph_0\)-categorical, weakly o-minimal structure with \(n\) 2-types. The metric \(d\) is given by \(d(x_0,\dots{},x_{n-1},y_0,\dots{},y_{n-1})=k\) iff \(x_k \neq y_k\) and for all \(j<k\) \(x_j = y_j\). The metric \(d\) is an ultrametric in the sense that \(d(x,z) \leq\max(d(x,y), d(y,z))\) for all \(x,y,z\). For 2-indiscernible structures the classification is carried out in a similar spirit up to ternary structure, using the concept of C-relations. It turns out that the \(\aleph_0\)-categorical, weakly o-minimal structures with one 2-type and exactly \(n\) 3-types admit an axiomatisation in terms of ultrametrics. Structures that are 3-indiscernible are in fact \(k\)-indiscernible for every finite \(k\) and hence essentially isomorphic to the ordered set of the rationals, \((Q,<)\). The picture is rounded by a number of examples and considering relations of higher arities.
- On ℵ0-categorical weakly circularly minimal structures
- On almost omega-categoricity of weakly o-minimal theories
- scientific article; zbMATH DE number 5267955
- scientific article; zbMATH DE number 1899815
- \(\aleph_{0}\)-categorical completely o-minimal theories
- On self-definable subsets of _0-categorical weakly o-minimal structures
- scientific article; zbMATH DE number 7401706
- Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories
- The Property of Being Binary for ℵ0-Categorical Weakly o-Minimal Theories
- \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories
- Strongly minimal countably categorical theories. II
- Strongly minimal countably categorical theories. III
- Expanding 1-indiscernible countably categorical weakly o-minimal theories by equivalence relations
- On o-amorphous sets
- A survey of homogeneous structures
- Stationarily ordered types and the number of countable models
- A.D. Taimanov and model theory in Kazakhstan
- Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
- On almost omega-categoricity of weakly o-minimal theories
- \(\aleph_{0}\)-categorical completely o-minimal theories
- Binary types in ℵ0-categorical weakly o-minimal theories
- Vaught's conjecture for quite o-minimal theories
- Countably categorical weakly o-minimal structures of finite convexity rank
- -categorical weakly o-minimal expansions of Boolean lattices
- Weakly o-minimal structures and real closed fields
- Filling certain cuts in discrete weakly o-minimal structures
- Set‐homogeneous hypergraphs
- Classification of \(\aleph_0\)-categorical \(C\)-minimal pure \(C\)-sets
- Minimality conditions, topologies, and ranks for spherically ordered theories
- Weakly o-minimal types
- Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories
- Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories
- On self-definable subsets of _0-categorical weakly o-minimal structures
This page was built for publication: On \(\aleph_0\)-categorical weakly o-minimal structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1964015)
