pith. sign in

arxiv: 1806.00464 · v3 · pith:MG7SEPAYnew · submitted 2018-06-01 · 🧮 math.LO

Model theory of fields with free operators in positive characteristic

classification 🧮 math.LO
keywords operatorscharacteristicfieldsmodelpositivetheoryadmitalgebra
0
0 comments X
read the original abstract

We give algebraic conditions about a finite algebra $B$ over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "$B$-operators" (i.e. the operators coming from homomorphisms into tensor products with $B$). We show that, in the most interesting case of a local $B$, these model companions admit quantifier elimination in the "smallest possible" language and they are strictly stable. We also describe the forking relation there.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.