Pith. sign in

REVIEW 1 cited by

On the hyperfields associated to valued fields

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2211.05082 v1 pith:X33PLKF5 submitted 2022-11-09 math.RA math.LO

classification math.RAmath.LO
keywords valuedhyperfieldsfieldstringentinversesymbolssystemtextbf
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

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 showing that the inverse limit of certain systems are stringent valued hyperfields. Secondly, we describe a Hahn-like construction which yields a henselian valued field from a stringent valued hyperfield. In addition, we provide an axiomatisation of the theory of stringent valued hyperfields in a language consisting of two binary function symbols $\oplus$ and $\cdot$ and two constant symbols $\textbf{0}$ and $\textbf{1}$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the borderline of fields and hyperfields, part II -- Enumeration and classification of the hyperfields of order 7

    math.RA 2024-12 conditional novelty 6.0 of 10

    There are exactly 277 seven-element hyperfields, all built on the cyclic multiplicative group of order six, and the paper classifies which of them arise as quotients of fields.

Pith tools