The degree of nonminimality is at most two
Logic
2022-06-28 v1
Abstract
It is shown that if is a complete type of Lascar rank at least 2 over , in the theory of differentially closed fields of characteristic zero, then there exists a pair of realisations, and , such that has a nonalgebraic forking extension over . Moreover, if is contained in the field of constants then already has a nonalgebraic forking extension over . 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