English
Related papers

Related papers: Dp-finite fields VI: the dp-finite Shelah conjectu…

200 papers

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

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

Logic · Mathematics 2022-08-23 Will Johnson

We develop a notion of a `canonical $\mathcal{C}$-henselian valuation' for a class $\mathcal{C}$ of field extensions, generalizing the construction of the canonical henselian valuation of a field. We use this to show that the $p$-adic…

Number Theory · Mathematics 2015-08-31 Kristian Strommen

We prove that if K is an infinite stable field whose generic type has weight 1 then K is separably closed. We also obtain partial results when the generic of K has finite weight and when K is strongly stable.

Logic · Mathematics 2009-10-01 Krzysztof Krupinski , Anand Pillay

Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…

Commutative Algebra · Mathematics 2013-04-05 Anna Blaszczok , Franz-Viktor Kuhlmann

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…

Logic · Mathematics 2026-05-11 Will Johnson

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to $\mathbb{Z}$-largeness,…

Logic · Mathematics 2026-04-02 Sylvy Anscombe

Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…

Logic · Mathematics 2022-06-16 Lothar Sebastian Krapp , Salma Kuhlmann , Moritz Link

The authors establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. They consider fields K that are complete discrete…

K-Theory and Homology · Mathematics 2019-08-12 Lars Hesselholt , Ib Madsen

The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…

Logic · Mathematics 2026-04-14 Krzysztof Jan Nowak

We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result…

Logic · Mathematics 2010-02-09 Jakub Gismatullin

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

Logic · Mathematics 2025-08-06 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

Operator Algebras · Mathematics 2014-02-12 Rasmus Bentmann

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

Number Theory · Mathematics 2013-06-13 Kirsten Eisentraeger , Alexandra Shlapentokh

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…

Number Theory · Mathematics 2025-08-19 Sohan Ghosh , Jishnu Ray , Takashi Suzuki

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…

Quantum Algebra · Mathematics 2018-06-01 Nicolás Andruskiewitsch , Giovanna Carnovale , Gastón Andrés García

We study the behaviour of forking in valued fields, and we give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an extension base. Notably, we consider arbitrary (potentially…

Logic · Mathematics 2023-06-21 Akash Hossain

Let $(K, v)$ be a Henselian discrete valued field with residue field $\widehat K$ of characteristic $q \ge 0$, and Brd$_{p}(K)$ be the Brauer $p$-dimension of $K$, for each prime $p$. The present paper shows that if $p = q$, then…

Rings and Algebras · Mathematics 2022-03-24 Ivan D. Chipchakov

We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…

Differential Geometry · Mathematics 2020-07-13 Katarzyna Grabowska , Janusz Grabowski

Let $(K, v)$ be a Henselian valued field satisfying the following conditions, for a given prime number $p$: (i) central division $K$-algebras of (finite) $p$-primary dimensions have Schur indices equal to their exponents; (ii) the value…

Rings and Algebras · Mathematics 2011-11-10 I. D. Chipchakov
‹ Prev 1 4 5 6 7 8 10 Next ›