English
Related papers

Related papers: Augmented Valuation and Minimal Pair

200 papers

We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…

Commutative Algebra · Mathematics 2023-01-12 Franz-Viktor Kuhlmann , Anna Rzepka

Let $F$ be an archimedean field, $G$ a divisible ordered abelian group and $h$ a group exponential on $G$. A triple $(F,G,h)$ is realised in a non-archimedean exponential field $(K,\exp)$ if the residue field of $K$ under the natural…

Logic · Mathematics 2021-07-21 Lothar Sebastian Krapp

This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an…

Algebraic Geometry · Mathematics 2021-11-30 Arpan Dutta

Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…

Commutative Algebra · Mathematics 2008-01-08 Steven Dale Cutkosky , Olga Kashcheyeva

We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…

Logic · Mathematics 2015-12-16 Sylvy Anscombe , Franziska Jahnke

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

Logic · Mathematics 2023-03-08 Elliot Kaplan

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

Logic · Mathematics 2021-05-11 Assaf Hasson , Ya'acov Peterzil

A Theorem of Hou, Leung and Xiang generalised Kneser's addition Theorem to field extensions. This theorem was known to be valid only in separable extensions, and it was a conjecture of Hou that it should be valid for all extensions. We give…

Number Theory · Mathematics 2019-03-06 Christine Bachoc , Oriol Serra , Gilles Zémor

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the…

Logic · Mathematics 2019-12-17 Franziska Jahnke

We prove Zilber's trichotomy for reducts of ACVF expanding $(K,+)$ or $(K^*, \cdot)$.

Logic · Mathematics 2024-01-29 Alf Onshuus , Assaf Hasson , Santiago Pinzon

The notion of key polynomials was first introduced in 1936 by S. Maclane in the case of discrete rank 1 valuations. . Let K -> L be a field extension and {\nu} a valuation of K. The original motivation for introducing key polynomials was…

Algebraic Geometry · Mathematics 2012-08-18 Wael Mahboub

We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…

Commutative Algebra · Mathematics 2022-08-25 Arpan Dutta , Franz-Viktor Kuhlmann

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

In this paper we present different ways to parametrize subsets of the space of valuations on $K[x]$ extending a given valuation on $K$. We discuss the methods using pseudo-Cauchy sequences and approximation types. The method presented here…

Commutative Algebra · Mathematics 2023-08-28 Josnei Antonio Novacoski , Caio Henrique Silva de Souza

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

We show how suitable extensions $(L|K,v)$ of prime degree of valued fields give rise to definable coarsenings of the valuation rings of $L$ and $K$. In the case of Artin-Schreier and Kummer extensions with wild ramification, we can also…

Logic · Mathematics 2025-12-09 Franz-Viktor Kuhlmann

In this paper we consider the question of when the associated graded ring along a valuation, ${\rm gr}_{\nu^*}(S)$, is a finite ${\rm gr}_{\nu^*}(R)$-module, where $S$ is a normal local ring which lies over a normal local ring $R$ and…

Algebraic Geometry · Mathematics 2018-05-04 Steven Dale Cutkosky

Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…

Commutative Algebra · Mathematics 2018-03-22 Franz-Viktor Kuhlmann

Abstract argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by a probability assignment to each argument. There are various interpretations that can be ascribed…

Artificial Intelligence · Computer Science 2014-05-15 Anthony Hunter , Matthias Thimm

Given a weakly o-minimal structure $\mathcal M$ and its o-minimal completion $\bar {\mathcal M}$, we first associate to $\bar {\mathcal M}$ a canonical language and then prove that $Th(\mathcal M)$ determines $Th(\bar {\mathcal M})$. We…

Logic · Mathematics 2019-06-12 Elitzur Bar-Yehuda , Assaf Hasson , Ya'acov Peterzil
‹ Prev 1 3 4 5 6 7 10 Next ›