English
Related papers

Related papers: Tame structures and open cores

200 papers

Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…

Logic · Mathematics 2014-02-27 Eliana Barriga , Alf Onshuus , Charles Steinhorn

We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…

Logic · Mathematics 2012-01-23 Gareth Boxall , Philipp Hieronymi

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 · Mathematics 2023-08-22 Masato Fujita

For a given d-minimal expansion $\mathfrak R$ of the ordered real field, we consider the expansion $\mathfrak R^\natural$ of $\mathfrak R$ generated by the sets of the form $\bigcup_{S \in \mathcal C}S$, where $\mathcal C$ is a subfamily of…

Logic · Mathematics 2026-05-13 Masato Fujita

The purpose of this paper is to continue studying the properties of $\gamma$-regular open sets introduced and explored in [6]. The concept of $\gamma$-closed spaces have also been defined and discussed.

General Topology · Mathematics 2013-11-19 Sabir Hussain

Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the…

Logic · Mathematics 2007-05-23 Marcus Tressl

A class of Cantor-type spaces and related geometric structures are discussed.

Classical Analysis and ODEs · Mathematics 2007-11-09 Stephen Semmes

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

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

The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…

Group Theory · Mathematics 2023-12-29 S. V. Ludkowski

Fix a d-minimal expansion of an ordered field. We consider the space $\mathcal D^p(M)$ of definable $\mathcal C^p$ functions defined on a definable $\mathcal C^p$ submanifold $M$ equipped with definable $\mathcal C^p$ topology. The set of…

Logic · Mathematics 2025-02-04 Masato Fujita

Complex systems have motivated continuing interest from the scientific community, leading to new concepts and methods. Growing systems represent a case of particular interest, as their topological, geometrical, and also dynamical properties…

Social and Information Networks · Computer Science 2024-05-27 Alexandre Benatti , Roberto M. Cesar , Luciano da F. Costa

This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined…

Dynamical Systems · Mathematics 2010-11-23 Chris Preston

We prove that if an $\omega$-categorical structure has an $\omega$-categorical homogeneous Ramsey expansion, then so does its model-complete core.

Logic · Mathematics 2023-06-22 Antoine Mottet , Michael Pinsker

Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.

Logic · Mathematics 2026-01-27 Masato Fujita

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

Logic · Mathematics 2020-02-19 Pablo Cubides Kovacsics , Deirdre Haskell

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…

High Energy Physics - Theory · Physics 2026-02-11 Thomas W. Grimm , David Prieto , Mick van Vliet

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…

Algebraic Geometry · Mathematics 2025-03-31 Javier Carvajal-Rojas , Anne Fayolle

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

Logic · Mathematics 2022-01-26 Pablo Cubides Kovacsics , Françoise Point

Coherent structures emerge from the dynamics of many kinds of dissipative, externally driven, nonlinear systems, and continue to provoke new questions that challenge our physical and mathematical understanding. In one specific sub-class of…

Pattern Formation and Solitons · Physics 2010-08-24 Jonathan Dawes