English
Related papers

Related papers: A dichotomy for $T$-convex fields with a monomial …

200 papers

Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is…

Logic · Mathematics 2018-10-10 Omar León Sánchez , Rahim Moosa

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G X) < dim G for some definable X subset of G then X contains a torsion point of G. Along the way we develop a general theory for…

Logic · Mathematics 2007-08-06 Margarita Otero , Ya'acov Peterzil

Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

Logic · Mathematics 2010-02-17 Masahiro Shiota

Let $P: \F \times \F \to \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a moderate asymmetric expander in the sense that $|P(A,B)|…

Combinatorics · Mathematics 2013-01-04 Terence Tao

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

Logic · Mathematics 2014-02-26 G. O. Jones , A. J. Wilkie

We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…

Logic · Mathematics 2017-05-19 Eliana Barriga

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

Logic · Mathematics 2023-06-28 Will Johnson , Jinhe Ye

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_{\alpha}$-saturated. The conditions are in terms of the value group,…

Logic · Mathematics 2016-03-22 Paola D'Aquino , Salma Kuhlmann

We continue the effort of grokking the structure of power-bounded $T$-convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on certain expansion of it that is equipped with a tempered…

Logic · Mathematics 2020-12-21 Yimu Yin

Monotone vector fields were introduced almost 40 years ago as nonlinear extensions of positive definite linear operators, but also as natural extensions of gradients of convex potentials. These vector fields are not always derived from…

Analysis of PDEs · Mathematics 2008-04-02 Nassif Ghoussoub

We prove an almost minimal R=T theorem for self-dual Galois representations with coefficients in a finite field satisfying a property called rigid. We also prove the rigidity property for a large family of residual Galois representations…

Number Theory · Mathematics 2026-02-05 Hao Peng , Dmitri Whitmore

We study a topological field theory describing confining phases of gauge theories in four dimensions. It can be formulated on a lattice using a discrete 2-form field talking values in a finite abelian group (the magnetic gauge group). We…

High Energy Physics - Theory · Physics 2013-09-23 Anton Kapustin , Ryan Thorngren

An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an…

Logic · Mathematics 2011-10-25 Marcello Mamino

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

Logic · Mathematics 2008-12-06 H. Friedman , K. Kurdyka , C. Miller , P. Speissegger

Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…

Commutative Algebra · Mathematics 2021-02-11 Pramod K. Sharma

Results of Smale (1957) and Dugundji (1969) allow to compare the homotopy groups of two topological spaces $X$ and $Y$ whenever a map $f:X\to Y$ with strong connectivity conditions on the fibers is given. We apply similar techniques in…

Logic · Mathematics 2017-06-08 Alessandro Achille , Alessandro Berarducci

Extension problems for polynomial valuations on different cones of convex functions are investigated. It is shown that for the classes of functions under consideration, the extension problem reduces to a simple geometric obstruction on the…

Functional Analysis · Mathematics 2024-08-14 Jonas Knoerr , Jacopo Ulivelli

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Logic · Mathematics 2022-09-30 Guillaume Valette

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…

Logic · Mathematics 2024-04-17 Kien Huu Nguyen , Mathias Stout , Floris Vermeulen
‹ Prev 1 4 5 6 7 8 10 Next ›