On \(\aleph_0\)-categorical weakly o-minimal structures
type: Item
instance of: scholarly article
title: On \(\aleph_0\)-categorical weakly o-minimal structures
zbMATH Open document ID: 0945.03056
DOI: 10.1016/S0168-0072(99)00029-9
author: Yanyan Li
published in: Annals of Pure and Applied Logic
publication date: 2000-09-27T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 03C15
zbMATH DE Number: 1398638
zbMATH Keywords: o-minimal structure
zbMATH Keywords: weakly o-minimal structure
zbMATH Keywords: \(\aleph_0\)-categorical structure
zbMATH Keywords: C-relation
zbMATH Keywords: ultrametric space
zbMATH Keywords: 1-indiscernible structures
zbMATH Keywords: 2-indiscernible structures
MaRDI profile type: Publication
Recommended article: On ℵ0-categorical weakly circularly minimal structures
Recommended article: On almost omega-categoricity of weakly o-minimal theories
Recommended article: Q5459339
Recommended article: Q4802727
Recommended article: \(\aleph_{0}\)-categorical completely o-minimal theories
Recommended article: On self-definable subsets of \(\aleph_0\)-categorical weakly o-minimal structures
Recommended article: Q3379955
Recommended article: Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories
Recommended article: The Property of Being Binary for ℵ0-Categorical Weakly o-Minimal Theories
Recommended article: \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories
description: scientific article; zbMATH DE number 1398638