English

Forking independence in differentially closed fields of positive characteristic

Logic 2025-11-10 v1

Abstract

We provide a differential-algebraic description of forking independence in the stable theory DCFp,m_{p,m} of differentially closed fields of characteristic p>0p>0 with mm-many commuting derivations. As a by-product of this description, we prove that types over algebraically closed subsets of the real sort are stationary. In addition, we prove that the set of non-zero solutions to the Bernoulli differential equation x=xpk+1x'=x^{p^k+1} with k>0k>0 is strongly minimal and its geometry is strictly disintegrated, which implies that this set is algebraically independent over Fp\mathbb{F}_p.

Keywords

Cite

@article{arxiv.2511.04911,
  title  = {Forking independence in differentially closed fields of positive characteristic},
  author = {Piotr Kowalski and Omar León Sánchez and Amador Martin-Pizarro},
  journal= {arXiv preprint arXiv:2511.04911},
  year   = {2025}
}