Model theory of fields with free operators in positive characteristic
Logic
2019-05-16 v3
Abstract
We give algebraic conditions about a finite algebra over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "-operators" (i.e. the operators coming from homomorphisms into tensor products with ). We show that, in the most interesting case of a local , these model companions admit quantifier elimination in the "smallest possible" language and they are strictly stable. We also describe the forking relation there.
Keywords
Cite
@article{arxiv.1806.00464,
title = {Model theory of fields with free operators in positive characteristic},
author = {Özlem Beyarslan and Daniel Max Hoffmann and Moshe Kamensky and Piotr Kowalski},
journal= {arXiv preprint arXiv:1806.00464},
year = {2019}
}