English
Related papers

Related papers: On the uniqueness of maximal immediate extensions …

200 papers

In this paper we present a characterization for the defect of a simple algebraic extension of rank one valued fields using the key polynomials that define the valuation. As a particular example, this gives the classification of defect…

Commutative Algebra · Mathematics 2022-10-18 Josnei Novacoski

It is well-known that degree two finite field extensions can be equipped with a Hermitian-like structure similar to the extension of the complex field over the reals. In this contribution, using this structure, we develop a modular…

Cryptography and Security · Computer Science 2013-04-23 Laurent Poinsot

For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…

Commutative Algebra · Mathematics 2025-03-18 Steven Dale Cutkosky , Franz-Viktor Kuhlmann , Anna Rzepka

This is the first in a series of papers on type I Howe duality for finite fields, concerning the restriction of an oscillator representation of the symplectic group to a product of a symplectic and an orthogonal group. The goal of the…

Representation Theory · Mathematics 2026-04-14 Sophie Kriz

We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial…

Logic · Mathematics 2025-11-12 Margarete Ketelsen , Simone Ramello , Piotr Szewczyk

We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…

Commutative Algebra · Mathematics 2024-04-03 Vaidehee Thatte

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable…

Logic · Mathematics 2015-01-20 Franziska Jahnke , Jochen Koenigsmann

In this note we investigate the question whether a henselian valued field carries a non-trivial 0-definable henselian valuation (in the language of rings). It follows from the work of Prestel and Ziegler that there are henselian valued…

Logic · Mathematics 2014-08-01 Franziska Jahnke , Jochen Koenigsmann

We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the…

Logic · Mathematics 2025-07-16 Philip Dittmann

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

We present some review material relating to the topic of optimal asymptotic expansions of correlation functions and associated observables for $\beta$ ensembles in random matrix theory. We also give an introduction to a related line of…

Mathematical Physics · Physics 2026-03-20 Peter J. Forrester , Anas A. Rahman , Bo-Jian Shen

This paper finds a classification, up-to an isomorphism, of abelian torsion groups realizable as Brauer groups of major types of Henselian valued primarily quasilocal fields with totally indivisible value groups. When $E$ is a quasilocal…

Rings and Algebras · Mathematics 2011-05-06 Ivan Chipchakov

We find a two term asymptotic expansion for the optimal expected value of a sequentially selected monotone subsequence from a random permutation of length n. A striking feature of this expansion is that tells us that the expected value of…

Probability · Mathematics 2015-09-16 Peichao Peng , J. Michael Steele

The article is devoted to approximate, global and along curves differentiability of functions over non-archimedean infinite fields with non-trivial valuations. Fields with zero and non-zero characteristics are considered. Spaces of…

Classical Analysis and ODEs · Mathematics 2010-03-16 S. V. Ludkovsky

We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions…

Logic · Mathematics 2024-09-06 Sylvy Anscombe , Arno Fehm

We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…

Functional Analysis · Mathematics 2022-03-04 Helge Glockner

Recently, the authors studied the connection between each maximal monotone operator T and a family H(T) of convex functions. Each member of this family characterizes the operator and satisfies two particular inequalities. The aim of this…

Functional Analysis · Mathematics 2008-02-13 Regina Sandra Burachik , B. F. Svaiter

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

Logic · Mathematics 2009-11-24 Salih Azgin , Lou van den Dries

In this work, we solve an open problem mentioned in Xiao (2010) and provide sharp bounds on the rate of growth of maximal moments for stationary symmetric stable random fields using structure theorem of finitely generated abelian groups and…

Probability · Mathematics 2018-10-04 Snigdha Panigrahi , Parthanil Roy , Yimin Xiao

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

Commutative Algebra · Mathematics 2013-07-25 Arno Fehm