3 papers
math.LO2021
Burden of henselian valued fields in the Denef-Pas language
Peter Sinclair
Motivated by the Ax-Kochen/Ershov principle, a large number of questions about henselian valued fields have been shown to reduce to analogous questions about the value group and re…
math.LO2019
Immediately algebraically closed fields
Peter Sinclair
We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defin…
math.LO2014
Computable Axiomatizability of Elementary Classes
Peter Sinclair
The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the…