Related papers: Notes on valuation theory for Krasner hyperfields
In 1957 M.\ Krasner described a complete valued field $(K,v)$ via the projective limit of a system of certain structures, called hyperfields, associated to $(K,v)$. We put this result in purely category-theoretic terms by translating into a…
One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by…
We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory…
A valuation theory for superrings is developed, extending classical constructions from commutative algebra to the $\mathbb Z_2$-graded and supercommutative setting. We define valuations on superrings, investigate their fundamental…
Marc Krasner proposed a theory of limits of local fields in which one relates the extensions of a local field to the extensions of a sequence of related local fields. The key ingredient in his approach was the notion of valued hyperfields,…
We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…
In this paper, the notions of integral closure of hyperrings and hyperideals in a Krasner hyperring $(R, +, \cdot)$ are defined and some basics properties of them are studied. We define also the notion of hypervaluation hyperideals and then…
The concept of multialgebraic structure -- an "algebraic like" structure but endowed with multiple valued operations -- has been studied since the 1930's; in particular, the concept of hyperrings was introduced by Krasner in the 1950's.…
The formation of rings of fractions and the associated process of localization are the most important technical tools in commutative algebra. Krasner (m,n)-hyperrings are a generalization of (m,n)-ring. Let R be a commutative Krasner…
Consider a simple algebraic valued field extension $(L/K,v)$ and denote by $\mathcal O_L$ and $\mathcal O_K$ the corresponding valuation rings. The main goal of this paper is to present, under certain assumptions, a description of $\mathcal…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…
Hyperstructures are a natural extension of regular algebraic structures in which one of the operations, known as the hyperoperation, is multivalued; a hyperfield is such an extension on a field. M. Krasner (1962) proved that the quotient…
We develop a theory of extensions of hyperfields that generalizes the notion of field extensions. Since hyperfields have a multivalued addition, we must consider two kinds of extensions that we call weak hyperfield extensions and strong…
We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $\Sigma$ of henselian…
The concern of this paper is to show that there always exist Krasner hyperfields of order n, where n is an integer greater than or equal to 2.
In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems for finitely ramified henselian valued fields relative to…
The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…
We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was…
The goal of this work is twofold: (i) to provide a detailed analysis of some categories of inductive graded ring - a concept introduced in [DM98] in order to provide a solution of Marshall's signature conjecture in the algebraic theory of…