Corpus ID: 209324269

Uniform local definable cell decomposition for locally o-minimal expansion of the group of reals

@article{Fujita2019UniformLD,
title={Uniform local definable cell decomposition for locally o-minimal expansion of the group of reals},
author={M. Fujita},
journal={arXiv: Logic},
year={2019}
}
• M. Fujita
• Published 2019
• Mathematics
• arXiv: Logic
We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M, <,0,+, \ldots)$ elementarily equivalent to a locally o-minimal expansion of the group of reals $(\mathbb R, <,0,+)$. Let $\{A_\lambda\}_{\lambda\in\Lambda}$ be a finite family of definable subsets of $M^{m+n}$. There exist an open box $B$ in $M^n$ containing the origin and a finite partition of definable sets $M^m \times B = X_1 \cup \ldots \cup X_k$ such that… Expand
3 Citations
Uniformly locally o-minimal open core
This paper discusses sufficient conditions for a definably complete densely linearly ordered expansion of an abelian group having the uniformly locally o-minimal open cores of the first/second kindExpand
Almost o-minimal structures and $\mathfrak X$-structures
We propose new structures called almost o-minimal structures and X-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of aExpand
DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND
• M. Fujita
• Computer Science, Mathematics
• The Journal of Symbolic Logic
• 2020
It is shown that the structure of a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group is definably Baire in the course of the proof of the inequality over definable maps. Expand

References

SHOWING 1-7 OF 7 REFERENCES
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
• M. Fujita
• Computer Science, Mathematics
• Ann. Pure Appl. Log.
• 2020
All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version ofmonotonicity theorem of o-Minimal structures. Expand
DEFINABLE SETS IN ORDERED STRUCTURES. I
• Mathematics
• 1986
This paper introduces and begins the study of a well-behaved class of linearly ordered structures, the ¢minimal structures. The definition of this class and the corresponding class of theories, theExpand
Notes on local o-minimality
• Mathematics, Computer Science
• Math. Log. Q.
• 2009
This work introduces and study some local versions of o-minimality, requir- ing that every definable set decomposes as the union of finitely many isolated points and intervals in a suitable neighborhood of every point. Expand
Locally o-minimal structures and structures with locally o-minimal open core
• A. Fornasiero
• Mathematics, Computer Science
• Ann. Pure Appl. Log.
• 2013
First-order expansions of ordered fields that are definably complete, and moreover either are locally o-minimal, or have a locally o -minimal open core, are studied. Expand
Locally o-minimal structures
• Mathematics
• 2012
In this paper we study (strongly) locally o-minimal structures. We first give a characterization of the strong local o-minimality. We also investigate locally o-minimal expansions of (R,+, <).
Definable sets in ordered structures
• Mathematics
• 1984
On introduit la notion de theorie O-minimale des structures ordonnees, une telle theorie etant telle que les sous-ensembles definissables de ses modeles soient particulierement simples