Pith. sign in

REVIEW 2 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

Signed reviews

No signed human review yet.

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 2 Pith papers

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

  1. Algorithmic Construction of Real Hyperfields from Minimal Axioms

    math.RA 2025-08 conditional novelty 6.0 of 10

    A complete enumeration algorithm for finite real hyperfields with cyclic positive cones, with classification data to order 15, C-characteristics to order 17, and many new non-Krasner quotient hyperfields.

  2. 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