Expansion of a semi-bounded o-minimal structure by a geometric progression

Masato Fujita

2023-08-21

Abstract:We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.

Logic

What problem does this paper attempt to address?

Definable Tietze extension property in o-minimal expansion of ordered group

Masato Fujita

DOI: https://doi.org/10.1007/s00153-023-00875-5

2021-02-03

Abstract:The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $f:A \rightarrow M$ defined on a definable closed subset of $M^n$ has a definable continuous extension $F:M^n \rightarrow M$.

Logic
There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence

Masato Fujita

2024-09-06

Abstract:There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered $\mathbb R$-vector space structure over $\mathbb R$ or the ordered group of reals. A first-order expansion of $\mathcal R$ by a countable subset $D$ of $\mathbb R$ and a compact subset $E$ of $\mathbb R$ of finite Cantor-Bendixson rank is d-minimal if $(\mathcal R,D)$ is locally o-minimal.

Logic
Definable quotients in d-minimal structures

Masato Fujita

2023-11-15

Abstract:We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when there is a definable proper action of a definable group $G$ on a locally closed definable subset $X$ of $F^n$, where $F$ is the universe.

Logic
Finite central extensions of o-minimal groups

Elías Baro,Daniel Palacín

2024-07-23

Abstract:We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every finite central extension of a definably connected solvable definable group in an o-minimal structure is equivalent to a finite central extension which is definable without additional parameters. The proof relies on an o-minimal adaptation of the higher inflation-restriction exact sequence due to Hochschild and Serre. As in \cite{jM83}, we also prove in o-minimal expansions of real closed fields that the conjecture reduces to definably simple groups.

Logic
Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

Erik Walsberg

DOI: https://doi.org/10.48550/arXiv.2004.06847

2020-04-15

Abstract:This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" to construct uncountably many dp-minimal expansions of $(\mathbb{Z},+,S)$. These constructions are applications of the Mordell-Lang conjecture and are the first examples of "non-modular" dp-minimal expansions of $(\mathbb{Z},+)$. We canonically associate an o-minimal expansion $\mathcal{R}$ of $(\mathbb{R},+,\times)$, an $\mathcal{R}$-definable circle group $\mathbb{H}$, and a character $\mathbb{Z} \to \mathbb{H}$ to a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,S)$. We also construct a "non-modular" dp-minimal expansion of $(\mathbb{Z},+,\mathrm{Val}_p)$ from the character $\mathbb{Z} \to \mathbb{Z}^\times_p$, $k \mapsto \mathrm{exp}(pk)$.

Logic
Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Masato Fujita,Tomohiro Kawakami

2024-07-29

Abstract:We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable $\mathcal C^r$ submanifolds in the definable $\mathcal C^{r-1}$ topology. The second topic is the imbedding theorem for definably compact definable $\mathcal C^r$ manifolds. We demonstrate that a definably normal definable $\mathcal C^r$ manifold is a definably $\mathcal C^r$ diffeomorphic to a definable $\mathcal C^r$ submanifold. It enables us to show that the definable quotient of a definably compact definable $\mathcal C^r$ group by a definable subgroup exists.

Logic
An introduction to o-minimal structures

Mario J. Edmundo

DOI: https://doi.org/10.48550/arXiv.math/0012051

2000-12-07

Logic

Abstract:The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in fact the case by presenting several examples of o-minimal structures and by listing some geometric properties of sets and maps definable in o-minimal structures. We omit here any reference to the pure model theory of o-minimal structures and to the theory of groups and rings definable in o-minimal structures.
On transasymptotic expansions of o-minimal germs

Jean-Philippe Rolin,Tamara Servi,Patrick Speissegger

2024-02-19

Abstract:Given an o-minimal expansion $\mathbb{R}_{\mathcal{A}}$ of the real ordered field, generated by a generalized quasianalytic class $\mathcal{A}$, we construct an explicit truncation closed ordered differential field embedding of the Hardy field of the expansion $\mathbb{R}_{\mathcal{A},\exp}$ of $\mathbb{R}_{\mathcal{A}}$ by the unrestricted exponential function, into the field $\mathbb{T}$ of transseries. We use this to prove some non-definability results. In particular, we show that the restriction to the positive half-line of Euler's Gamma function is not definable in the structure $\mathbb{R}_{\text{an}^{*},\exp}$, generated by all convergent generalized power series and the exponential function, thus establishing the non-interdefinability of the restrictions to a neighbourhood of $+\infty$ of Euler's Gamma and of the Riemann Zeta function.

Logic
On the structure of $T$-$λ$-spherical completions of o-minimal fields

Pietro Freni

2024-10-01

Abstract:Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of $T_{\mathrm{convex}}$. These in particular entail that whenever $\mathbb{R}_L$ is a reduct of $\mathbb{R}_{an,\exp}$ defining the exponential, every elementary extension of $\mathbb{R}_L$ has an elementary truncation-closed embedding in the class-sized field $\mathbf{No}$ of surreal numbers. This partially answers a question in [3](<a class="link-https" data-arxiv-id="2002.07739" href="https://arxiv.org/abs/2002.07739">arXiv:2002.07739</a>). The main technical result is that certain expansion of Hahn fields by generalized power series interpreted as functions defined on the positive infinitesimal elements, have the property that truncation closed subsets generate truncation closed substructures. This leaves room for possible generalizations to the case in which $T_0$ is power bounded but not necessarily a reduct of $T_{an}$.

Logic
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Hassan Sfouli

DOI: https://doi.org/10.1007/s00153-024-00904-x

2024-02-16

Archive for Mathematical Logic

Abstract:Let be a polynomially bounded o-minimal expansion of the real field. Let f ( z ) be a transcendental entire function of finite order and type . The main purpose of this paper is to show that if ( ) or ( and ), the restriction of f ( z ) to the real axis is not definable in . Furthermore, we give a generalization of this result for any .

mathematics,logic
Uniform local weak o-minimality and $*$-local weak o-minimality

Masato Fujita

2024-05-10

Abstract:We propose the notions of uniform local weak o-minimality and $*$-local weak o-minimality. Local monotonicity theorems hold in definably complete locally o-minimal structures and uniformly locally o-minimal structures of the second kind. In this paper, we demonstrate new local monotonicity theorems for uniformly locally weakly o-minimal structures of the second kind and for locally o-minimal structures under the assumption called the univariate $*$-continuity property. We also prove that several formulas for dimension of definable sets which hold in definably complete locally o-minimal structures also hold in $*$-locally weakly o-minimal structures possessing the univariate $*$-continuity property.

Logic
Model categories for o-minimal geometry

Reid Barton,Johan Commelin

DOI: https://doi.org/10.48550/arXiv.2108.11952

2021-08-27

Abstract:We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We will show in future work that its cofibrant objects are precisely the "weak polytopes" of Knebusch.

Algebraic Topology,Category Theory,Logic
Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

Masato Fujita

2024-07-23

Abstract:Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a definable set. Basic properties of partition degree are also studied.

Logic
Definable compactness in definably complete locally o-minimal structures

Masato Fujita

2023-05-22

Abstract:We demonstrate that Andújar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple definable topological group which is regular, Hausdorff and definably compact as a definable topological space is either discrete or definably connected. We also study the definable quotient of definable continuous actions by definably compact definable topological groups.

Logic
Definable compactness in o-minimal structures

Pablo andújar Guerrero

2024-05-12

Abstract:We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types and definable downward directed families of closed sets.

Logic,General Topology
Random expansions of finite structures with bounded degree

Vera Koponen

2024-01-10

Abstract:We consider finite relational signatures $\tau \subseteq \sigma$, a sequence of finite base $\tau$-structures $(\mathcal{B}_n : n \in \mathbb{N})$ the cardinalities of which tend to infinity and such that there is a fixed finite upper bound of the degree of (the Gaifman graph of) every $\mathcal{B}_n$. We let $\mathbf{W}_n$ be the set of all expansions to $\sigma$ of $\mathcal{B}_n$ we consider a probabilistic graphical model, a concept used in machine learning and artificial intelligence, to generate a probability distribution $\mathbb{P}_n$ on $\mathbf{W}_n$ for all $n$. We use a many-valued ``probability logic'' with truth values in the unit interval to express probabilities within probabilistic graphical models and to express queries on $\mathbf{W}_n$. This logic uses aggregation functions (e.g. the average) instead of quantifiers and it can express all queries (on finite structures) that can be expressed with first-order logic since the aggregation functions maximum and minimum can be used to express existential and universal quantifications, respectively. The main results concern asymptotic elimination of aggregation functions (the analogue of almost sure elimination of quantifiers for two-valued logics with quantifiers) and the asymptotic distribution of truth values of formulas (the analogue of logical convergence results for two-valued logics).

Logic
Coboundary and cosystolic expansion without dependence on dimension or degree

Yotam Dikstein,Irit Dinur

2024-10-17

Abstract:We give new bounds on the cosystolic expansion constants of several families of high dimensional expanders, and the known coboundary expansion constants of order complexes of homogeneous geometric lattices, including the spherical building of $SL_n(F_q)$. The improvement applies to the high dimensional expanders constructed by Lubotzky, Samuels and Vishne, and by Kaufman and Oppenheim. Our new expansion constants do not depend on the degree of the complex nor on its dimension, nor on the group of coefficients. This implies improved bounds on Gromov's topological overlap constant, and on Dinur and Meshulam's cover stability, which may have applications for agreement testing. In comparison, existing bounds decay exponentially with the ambient dimension (for spherical buildings) and in addition decay linearly with the degree (for all known bounded-degree high dimensional expanders). Our results are based on several new techniques: * We develop a new "color-restriction" technique which enables proving dimension-free expansion by restricting a multi-partite complex to small random subsets of its color classes. * We give a new "spectral" proof for Evra and Kaufman's local-to-global theorem, deriving better bounds and getting rid of the dependence on the degree. This theorem bounds the cosystolic expansion of a complex using coboundary expansion and spectral expansion of the links. * We derive absolute bounds on the coboundary expansion of the spherical building (and any order complex of a homogeneous geometric lattice) by constructing a novel family of very short cones.

Combinatorics,Discrete Mathematics
On dp-minimal expansions of the integers II

Eran Alouf

2024-02-17

Abstract:We first prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ which is not interdefinable with $\left(\mathbb{Z},+,0,1,<\right)$, then every infinite subset of $\mathbb{Z}$ definable in $\mathcal{Z}$ is generic in $\mathbb{Z}$. Using this, we prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ with monster model $G$ such that $G^{00}\neq G^{0}$, then for some $\alpha\in\mathbb{R}\backslash\mathbb{Q}$, the cyclic order on $\mathbb{Z}$ induced by the embedding $n\mapsto n\alpha+\mathbb{Z}$ of $\mathbb{Z}$ in $\mathbb{R}\big/\mathbb{Z}$ is definable in $\mathcal{Z}$. The proof employs the Gleason-Yamabe theorem for abelian groups.

Logic
Definable separability and second-countability in o-minimal structures

Pablo Andújar Guerrero

2024-05-12

Abstract:We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and definable second-countability -- which make sense in a wider model-theoretic context. We prove that within o-minimality these notions have the desired properties, including their equivalence among definable metric spaces, and conjecture a definable version of Urysohn's Metrization Theorem.

Logic,General Topology
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups

Eliana Barriga

DOI: https://doi.org/10.1002/malq.202300028

2024-07-19

Mathematical Logic Quarterly

Abstract:We state conditions for which a definable local homomorphism between two locally definable groups G , G′ can be uniquely extended when G is simply connected (Theorem 2.1). As an application of this result we obtain an easy proof of [3, Theorem 9.1] (cf. Corollary 2.3). We also prove that [3, Theorem 10.2] also holds for any definably connected definably compact semialgebraic group G not necessarily abelian over a sufficiently saturated real closed field R ; namely, that the o‐minimal universal covering group G∼ of G is an open locally definable subgroup of H(R)0∼ for some R ‐algebraic group H (Theorem 3.3). Finally, for an abelian definably connected semialgebraic group G over R , we describe G∼ as a locally definable extension of subgroups of the o‐minimal universal covering groups of commutative R ‐algebraic groups (Theorem 3.4).

mathematics,logic

Expansion of a semi-bounded o-minimal structure by a geometric progression

Definable Tietze extension property in o-minimal expansion of ordered group

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence

Definable quotients in d-minimal structures

Finite central extensions of o-minimal groups

Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

Approximation and zero set of definable functions in a definably complete locally o-minimal structure

An introduction to o-minimal structures

On transasymptotic expansions of o-minimal germs

On the structure of $T$-$λ$-spherical completions of o-minimal fields

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Uniform local weak o-minimality and $*$-local weak o-minimality

Model categories for o-minimal geometry

Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

Definable compactness in definably complete locally o-minimal structures

Definable compactness in o-minimal structures

Random expansions of finite structures with bounded degree

Coboundary and cosystolic expansion without dependence on dimension or degree

On dp-minimal expansions of the integers II

Definable separability and second-countability in o-minimal structures

Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups