Showing math.LOShow all
3 papers · 1 filter
math.LO2024
Forking and invariant types in regular ordered Abelian groups
Akash Hossain
We give a characterization of forking in regular ordered Abelian groups. In particular, we prove that the type of C over AB does not fork over A if and only if the type over AB of…
math.LO2024
Forking in valued fields and related structures
Akash Hossain
This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the u…
math.LO2024
Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
Akash Hossain
In their article about distality in valued fields, Aschenbrenner, Chernikov, Gehret and Ziegler proved resplendent Ax-Kochen-Ershov principles for quantifier elimination in pure sh…