122 citations · 304 across the 16 of their papers we have counts for
4 papers · 1 filter
The model theory of separably tame valued fields
Franz-Viktor Kuhlmann, Koushik Pal
A henselian valued field is called separably tame if its separable-algebraic closure is a tame extension, that is, the ramification field of the normal…
Model companion of ordered theories with an automorphism
Michael C. Laskowski, Koushik Pal
Kikyo and Shelah showed that if is a theory with the Strict Order Property in some first-order language , then in the expanded language $\mathcal{L}_σ:= \mathcal{L…
Quantifier Elimination For Tame Fields
Franz-Viktor Kuhlmann, Koushik Pal
In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.
Multiplicative Valued Difference Fields
Koushik Pal
The theory of valued difference fields depends on how the valuation interacts with the automorphism . Two special cases have already been worked out - the isomet…