3 papers
math.LO2026
Finding suitably generic points on curves with an application to the construction of rigid real closed fields
Dragos Ghioca, David Marker, Charles Steinhorn
Let be an algebraically closed field of characteristic 0 and transcendence degree at least 2. Let be an irreducible curve defined over but not defined over t…
math.LO2026
Rigid Real Closed Fields
David Marker, Charles Steinhorn
We construct a non-Archimedean real closed field of transcendence degree two with no non-trivial automorphisms
math.LO2024
Multidimensional asymptotic classes
Sylvy Anscombe, Dugald Macpherson, Charles Steinhorn +1
We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardina…