Showing 1–3 of 3 results for author: Gogolok, J

A note on valued fields with finite group actions

Authors: Piotr Błaszkiewicz, Jakub Gogolok

Abstract: In this preliminary note we prove that the theory of valued fields equipped with an action of a given finite group has a model companion. In this preliminary note we prove that the theory of valued fields equipped with an action of a given finite group has a model companion. △ Less

Submitted 16 June, 2025; originally announced June 2025.

MSC Class: Primary 12L12; Secondary 12J10; 12H10

Model theory of derivations of the Frobenius map revisited

Authors: Jakub Gogolok

Abstract: 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 Wood in the case of the theory $\operatorname{DCF}_p$ and that it eliminates quantifiers after adding the inverse of the Frobenius map to the language. This strengthens the results from [4]. As a by-product, we get a ne… ▽ More 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 Wood in the case of the theory $\operatorname{DCF}_p$ and that it eliminates quantifiers after adding the inverse of the Frobenius map to the language. This strengthens the results from [4]. As a by-product, we get a new geometric axiomatization of this model companion. Along the way we also prove a quantifier elimination result, which holds in a much more general context and we suggest a way of giving "one-dimensional" axiomatizations for model companions of some theories of fields with operators. △ Less

Submitted 13 May, 2021; originally announced May 2021.

MSC Class: Primary 03C10; 03C60; Secondary 12H05

Operators coming from ring schemes

Authors: Jakub Gogolok, Piotr Kowalski

Abstract: We introduce the notion of a coordinate $\mathbf{k}$-algebra scheme and the corresponding notion of a $\mathcal{B}$-operator. This class of operators includes endomorphisms and derivations of the Frobenius map, and it also generalizes the operators related to $\mathcal{D}$-rings from [15]. We classify the (coordinate) $\mathbf{k}$-algebra schemes for a perfect field $\mathbf{k}$ and we also discus… ▽ More We introduce the notion of a coordinate $\mathbf{k}$-algebra scheme and the corresponding notion of a $\mathcal{B}$-operator. This class of operators includes endomorphisms and derivations of the Frobenius map, and it also generalizes the operators related to $\mathcal{D}$-rings from [15]. We classify the (coordinate) $\mathbf{k}$-algebra schemes for a perfect field $\mathbf{k}$ and we also discuss the model-theoretic properties of fields with $\mathcal{B}$-operators. △ Less

Submitted 15 February, 2022; v1 submitted 19 August, 2020; originally announced August 2020.

MSC Class: Primary 03C60; Secondary 12H05; 03C45; 14L15