T-convexly valued o-minimal fields are definably spherically complete

2024/11/20 by Pietro Freni, Freni, Pietro
Mathematics · #03C64 (Primary) 12J10 (Secondary) #Advanced Banach Space Theory #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals

paper · pdf · doi:10.48550/arxiv.2411.16706

openalex publication_date 2024/11/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

I prove the statement in the title using results from arXiv:2404.07646(2). This shows that Question~1.1 in [1] has negative answer for certain expansions of a valued field.

Related

• T-convexity, Weakly Immediate Types, and T-λ-Spherical Completions of o-minimal Structures
• Strongly Minimal Relics of T-convex Fields
• Model completeness of o-minimal fields with convex valuations
• O-minimal fields with standard part map
• Approximation by O-minimal sets in power-bounded T-convex valued fields