Pith. sign in

REVIEW 2 cited by

Strongly Minimal Relics of T-convex 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 2410.22442 v1 pith:W5R3XDUA submitted 2024-10-29 math.LO

classification math.LO
keywords fieldsrelicstrichotomyo-minimalminimalstronglyt-convexvalued
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Generalizing previous work on algebraically closed valued fields (ACVF) and o-minimal fields, we study strongly minimal relics of real closed valued fields (RCVF), and more generally T-convex expansions of o-minimal fields. Our main result (replicating the o-minimal setting) is that non-locally modular strongly minimal definable relics of T-convex fields must be two-dimensional. We also continue our work on reducing the trichotomy for general relics of a structure to just the relics of certain distinguished sorts. To this end, we prove that the trichotomy for definable RCVF-relics implies the trichotomy for interpretable RCVF-relics, and also that the trichotomy for relics of o-minimal fields implies the trichotomy for relics of any dense o-minimal structure. Finally, we introduce the class of differentiable Hausdorff geometric fields (containing o-minimal fields and various valued fields), and give a general treatment of the trichotomy for one-dimensional relics of such fields (namely, reducing the trichotomy for one-dimensional relics to an axiomatic condition on the field itself).

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. Topologically 1-based T-minimal Structures

    math.LO 2025-08 conditional novelty 8.0 of 10

    In any non-trivial topologically 1-based t-minimal structure with independent neighborhoods, a definable open abelian topological group exists.

  2. The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields

    math.LO 2025-02 accept novelty 7.0 of 10

    Every infinite interpretable group in these dp-minimal valued fields admits a canonical type-definable infinitesimal subgroup, isomorphic to the direct product of the four commuting infinitesimal pieces.

Pith tools