3 citations · 15 across the 21 of their papers we have counts for
1 paper · 2 filters
Lothar Sebastian Krapp, Floris Vermeulen
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in t…