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={Masato Fujita},
  journal={arXiv: Logic},
  year={2019}
}
  • M. Fujita
  • Published 12 December 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
Uniformly locally o‐minimal open core
  • M. Fujita
  • Mathematics
  • Mathematical Logic Quarterly
  • 2021
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
Simple product and locally o-minimal theories
  • Masato Fujita
  • Mathematics
  • 2021
There exist NIP and non-NTP2 theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearlyExpand
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
TLDR
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
TLDR
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
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
TLDR
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
TLDR
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
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
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