English

The degree of nonminimality is at most two

Logic 2022-06-28 v1

Abstract

It is shown that if pp is a complete type of Lascar rank at least 2 over AA, in the theory of differentially closed fields of characteristic zero, then there exists a pair of realisations, a1a_1 and a2a_2, such that pp has a nonalgebraic forking extension over A,a1,a2A,a_1,a_2. Moreover, if AA is contained in the field of constants then pp already has a nonalgebraic forking extension over A,a1A,a_1. The results are also formulated in a more general setting.

Keywords

Cite

@article{arxiv.2206.13450,
  title  = {The degree of nonminimality is at most two},
  author = {James Freitag and Rémi Jaoui and Rahim Moosa},
  journal= {arXiv preprint arXiv:2206.13450},
  year   = {2022}
}

Comments

5 pages