Work

The theory DCF A exists for p > 0

Year: 2025

Type: article

Abstract: We prove that the (elementary) class of differential-difference fields in characteristic p > 0 admits a model-companion. In the terminology of Chatzidakis-Pillay [4] , this says that the class of differentially closed fields of characteristic p equipped with a generic differential-automorphism is elementary; i.e., DCF p A exists. Along the way, we provide alternative first-order axiomatisations for DCF (differentially closed fields) and also for DCF 0 A.

Source: Annals of Pure and Applied Logic

DOI: 10.1016/j.apal.2025.103661

Authors: Kai Ino, Omar León Sánchez

Institution: Meijo University

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,520

Funder: Engineering and Physical Sciences Research Council