3 papers
math.LO2026
Existentially closed fields with operators in various categories
Jakub Gogolok
We deal with fields with certain operators - introduced by the author and Kowalski - which we call -fields. We are mostly interested in -fields which are…
math.LO2025
A note on valued fields with finite group actions
Piotr Błaszkiewicz, Jakub Gogolok
We consider valued fields equipped with an action of a given finite group by automorphisms. We show that the theory of such structures admits a model companion which is axiomatized…
math.LO2021
Model theory of derivations of the Frobenius map revisited
Jakub Gogolok
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by…