Definable compactness in o-minimal structures
The paper under review gives a comprehensive account of definable compactness in definable topological spaces in o-minimal structures. It answers two open problems: one posed by \textit{Y. Peterzil} and \textit{C. Steinhorn} [J. Lond. Math. Soc., II. Ser. 59, No. 3. 769--786 (1999; Zbl 0935.03047)] and the second by \textit{W. Johnson} [J. Symb. Log. 83, No. 4, 1477--1500 (2018; Zbl 1430.03056)]. The following six conditions are equivalent in a definable topological space \((X,\tau)\) in an o-minimal structure \(\mathcal{M}\):\N\begin{enumerate}\N\item[(1)] Every downward directed definable family of nonempty \(\tau\)-closed sets has nonempty intersection (this is called \textit{filter-compactness}).\N\N\item[(2)] Every definable type \(p \in S_X(M)\) has a limit, i.e., there is a point in the intersection of every \(\tau\)-closed set in \(p\) (this is called \textit{type-compactness}).\N\N\item[(3)] Every definable family of \(\tau\)-closed sets that extends to a definable type in \(S_X(M)\) has nonempty intersection.\N\N\item[(4)] Every consistent definable family of \(\tau\)-closed sets admits a finite transversal, i.e., there exists a finite set that intersects every set in the family (this is called \textit{transversal compactness}).\N\item[(5)] Every definable family \(\mathcal{C}\) of \(\tau\)-closed sets with the \((m, n)\)-property, where \(m\ge n > \dim \bigcup \mathcal{C}\), has a finite transversal.\N\item[(6)] Every definable family \(\mathcal{C}\) of \(\tau\)-closed sets with the \((m, n)\)-property, where \(m \ge n\) and \(n\) is greater than the VC-codensity of \(\mathcal{C}\), has a finite transversal.\N\end{enumerate}\NMoreover, in general a weaker condition:\N\begin{enumerate}\N\item[(7)] Every definable curve in \(X\) is \(\tau\)-completable (this is called \textit{curve-compactness})\N\end{enumerate}\Nis equivalent to the previous six if \(\tau\) is Hausdorff or \(\mathcal{M}\) has definable choice.\N\NThe methods include nonforking formulas, the Alon-Kleitman-Matoušek theorem, and some geometrical facts on o-minimal types. Many remarks by the author comment on other research in this field of research. The o-minimal case of this paper can be seen as the first step towards characterising definable compactness in other NIP situations.
- A definable \((p,q)\)-theorem for NIP theories
- Approximating volumes and integrals in o-minimal and p-minimal theories
- Bounded VC-dimension implies a fractional Helly theorem
- Compression schemes, stable definable families, and o-minimal structures
- Convergence results for function spaces over o-minimal structures
- Definable Compactness and Definable Subgroups of o-Minimal Groups
- Definable compactness in definably complete locally o-minimal structures
- Definable types in -minimal theories
- Directed sets and topological spaces definable in o-minimal structures
- Externally definable sets and dependent pairs. II
- First order topological structures and theories
- Forking and dividing in NTP\(_{2}\) theories
- Forking and independence in o-minimal theories
- Forking in VC-minimal theories
- Generic sets in definably compact groups
- scientific article; zbMATH DE number 1160037 (Why is no real title available?)
- Interpretable sets in dense o-minimal structures
- Invariant types in NIP theories
- Non-Archimedean tame topology and stably dominated types
- ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
- On groups and fields definable in o-minimal structures
- Tame topology over definable uniform structures
- Tame topology over dp-minimal structures
- Topological model theory
- TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
- Vapnik-Chervonenkis density in some theories without the independence property. I
This page was built for publication: Definable compactness in o-minimal structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7000766)
