Erik Walsberg

collaborators

3 papers

math.LO2026

Large implies henselian

Will Johnson, Chieu-Minh Tran, Erik Walsberg +1

Fix a field $K$ . We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a…

math.LO2025

Derivations and gt-henselian field topologies

Erik Walsberg

Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $…

math.LO2025

Nash maps over large fields

Erik Walsberg

In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fi…