English
Related papers

Related papers: Expansions of real closed fields which introduce n…

200 papers

We prove a strong form of model completenes for expansions of the field of real numbers by (the real and imaginary parts of) the modular function J, by the modular forms $E_4$ and $E_6$ and quasimodular form $E_2$ defined in the usual…

Logic · Mathematics 2016-11-21 Ricardo Bianconi

In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…

Algebraic Geometry · Mathematics 2013-05-21 Tal Perri

We study the extension of Presburger arithmetic by the class of sub-polynomial Hardy field functions, and show the majority of these extensions to be undecidable. More precisely, we show that the theory $\mathrm{Th}(\mathbb{Z}; <, +,…

Logic in Computer Science · Computer Science 2025-08-27 Hera Brown , Jakub Konieczny

The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…

Analysis of PDEs · Mathematics 2014-11-24 Filip Rindler , Giles Shaw

We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null…

Classical Analysis and ODEs · Mathematics 2017-05-17 Daniel Azagra , Juan Ferrera , Javier Gomez-Gil

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Logic · Mathematics 2026-02-11 Pierre Simon , Erik Walsberg

The Whitney group $K_1(A)$ is isomorphic to $A^\times \times \operatorname{SK}_1(A)$ for some subgroup $\operatorname{SK}_1(A)$, where $A$ is a commutative ring and $A^\times$ denotes the set of units in $A$. Consider an o-minimal expansion…

Logic · Mathematics 2020-07-30 Masato Fujita

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

Logic · Mathematics 2021-04-13 Pantelis Eleftheriou , Assaf Hasson , Ya'acov Peterzil

Given a bounded Lipschitz domain $D\subset \mathbb{R}^d$ and a Calder\'on-Zygmund operator $T$, we study the relations between smoothness properties of $\partial D$ and the boundedness of $T$ on the Zydmund space $\mathcal{C}_{\omega}(D)$…

Functional Analysis · Mathematics 2023-09-25 Andrei V. Vasin

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let…

Algebraic Geometry · Mathematics 2008-10-10 Paola Bonacini , Alessio del Padrone , Michele Nesci

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

Operator Algebras · Mathematics 2025-12-02 Méric L. Augat , Robert T. W. Martin , Eli Shamovich

Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…

Logic in Computer Science · Computer Science 2022-02-14 Frédéric Dupuis , Robert Y. Lewis , Heather Macbeth

For a smooth expanding map $f$ of the circle, its (unmarked) length spectrum is defined as the set of logarithms of multipliers of periodic orbits of $f$. This spectrum is analogous to the set of lengths of all closed geodesics on…

Dynamical Systems · Mathematics 2025-11-24 Kostiantyn Drach , Vadim Kaloshin

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

Logic · Mathematics 2026-05-20 Pablo Andújar Guerrero

Along with the development of the theory of slice regular functions over the real algebra of quaternions $\mathbb{H}$ during the last decade, some natural questions arose about slice regular functions on the open unit ball $\mathbb{B}$ in…

Complex Variables · Mathematics 2017-11-20 Cinzia Bisi , Caterina Stoppato

We prove that every arc-analytic semialgebraic function on an arc-symmetric set admits an arc-analytic semialgebraic extension to the whole ambient Euclidean space.

Algebraic Geometry · Mathematics 2018-01-19 Janusz Adamus , Hadi Seyedinejad

In this article, we study geometric aspects of semi-arithmetic Riemann surfaces by means of number theory and hyperbolic geometry. First, we show the existence of infinitely many semi-arithmetic Riemann surfaces of various shapes and prove…

Geometric Topology · Mathematics 2020-09-02 Gregory Cosac , Cayo Dória

In this paper we show that the real differential of any injective slice regular function is everywhere invertible. The result is a generalization of a theorem proved by G. Gentili, S. Salamon and C. Stoppato, and it is obtained thanks, in…

Complex Variables · Mathematics 2019-01-03 Amedeo Altavilla

We consider the spherical integral of real symmetric or Hermitian matrices when the rank of one matrix is one. We prove the existence of the full asymptotic expansions of these spherical integrals and derive the first and the second term in…

Probability · Mathematics 2014-12-16 Jiaoyang Huang

Let $M$ be a smooth compact $CR$ manifold of $CR$ dimension $n$ and $CR$ codimension $k$, which has a certain local extension property $E$. In particular, if $M$ is pseudoconcave, it has property $E$. Then the field $\Cal K(M)$ of $CR$…

Complex Variables · Mathematics 2007-10-29 C. Denson Hill , Mauro Nacinovich
‹ Prev 1 3 4 5 6 7 10 Next ›