Equational theories of fields
Abstract
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields of some fixed characteristic and of the theory of separably closed fields of arbitrary imperfection degree. Srour showed that the theory of differentially closed fields in positive characteristic is equational. We give also a different proof of his result.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2017
- DOI:
- 10.48550/arXiv.1702.05735
- arXiv:
- arXiv:1702.05735
- Bibcode:
- 2017arXiv170205735M
- Keywords:
-
- Mathematics - Logic;
- 03C45;
- 12H05
- E-Print:
- Research partially supported by the program MTM2014-59178-P. Additionally, the first author thanks the program ANR-13-BS01-0006 Valcomo. This is an improved version of a previous version (first submitted on 19 Feb 2017), in which only the theory of pairs was considered. It includes now a modification of Lemma 2.6 on weak elimination of imaginaries