English
Related papers

Related papers: A quasianalytic class with weakly smooth germs

200 papers

In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…

Logic · Mathematics 2025-06-25 Rémi Guénet

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $\mathcal{R}$ by a unary predicate such that its open core is a proper o-minimal expansion of…

Logic · Mathematics 2021-01-08 Alexi Block Gorman , Erin Caulfield , Philipp Hieronymi

Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to…

Logic · Mathematics 2026-02-25 Gal Binyamini , Dmitri Novikov , Benny Zak

We show there are intermediate $P$-minimal structures between the semi-algebraic and sub-analytic languages which do not have definable Skolem functions. As a consequence, by a result of Mourgues, this shows there are $P$-minimal structures…

Logic · Mathematics 2018-03-22 Pablo Cubides Kovacsics , Kien Huu Nguyen

We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic…

Logic · Mathematics 2015-02-24 Pablo Cubides Kovacsics , Eva Leenknegt

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…

Logic · Mathematics 2019-06-12 Ricardo Bianconi , Rodrigo Figueiredo

We give an example of a non-noetherian quasi-analytic ring constructed using a quasi-analytic Denjoy-Carleman class. If we denote by $ \mathcal{D}_n$ the ring of those $ C^\infty$ quasianalytic function germs at $0\in \mathbb{R}^n$ which…

Algebraic Geometry · Mathematics 2025-01-04 Abdelhafed Elkhadiri

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic…

Logic · Mathematics 2014-08-27 Hans Schoutens

We extend the theory of complex cells introduced by Binyamini and Novikov to the sharply o-minimal setting, obtaining cellular preparation and parameterization theorems which are polynomially effective in the degrees of the relevant sets.…

Logic · Mathematics 2026-03-27 Gal Binyamini , Oded Carmon , Dmitry Novikov

This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost…

Logic · Mathematics 2026-02-05 Mourad Berraho , Akito Tsuboi

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Logic · Mathematics 2022-06-08 Masato Fujita

In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].

Algebraic Topology · Mathematics 2016-07-27 A. Boudjaj , Y. Rami

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell…

Logic · Mathematics 2011-02-25 R. Cluckers , F. Loeser

We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…

Logic · Mathematics 2026-04-08 Oded Carmon

The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible…

Rings and Algebras · Mathematics 2008-02-03 Oleg Belegradek , Ya'acov Peterzil , Frank Wagner

Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.

Logic · Mathematics 2026-02-23 Tomohiro Kawakami , Hiroshi Tanaka

This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier…

Algebraic Geometry · Mathematics 2014-05-21 Krzysztof Jan Nowak

We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we…

Logic · Mathematics 2016-07-26 Pantelis E. Eleftheriou , Assaf Hasson , Gil Keren

We prove that for any two definable germs in a polynomially bounded o-minimal structure, there exists a critical threshold $\alpha_0 \in (0,1)$ such that if these germs are bi-$\alpha$-H"older equivalent for some $\alpha \ge \alpha_0$, then…

Algebraic Geometry · Mathematics 2025-12-29 An V. Q. Huynh , Minh B. Nguyen , Nhan X. V. Nguyen , Minh Q. Vu

The Borel map $j^{\infty}$ takes germs at 0 of smooth functions to the sequence of iterated partial derivatives at 0. It is well known that the restriction of $j^{\infty}$ to the germs of quasianalytic ultradifferentiable classes which are…

Functional Analysis · Mathematics 2020-01-01 Céline Esser , Gerhard Schindl
‹ Prev 1 2 3 10 Next ›