Analytification and tropicalization via hyperfields and definable types

arXiv:2610.30762 · math.LO, math.AG · Submitted 2026-10-22 · Read on arXiv