Generic derivations on algebraically bounded structures II. Model theoretical properties
Logic
2026-05-26 v2
Abstract
Let T be an algebraically bounded theory. We consider the -expansions of T by a tuple of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established in [FT:24], with particular attention to its model-theoretic properties, including -stability, simplicity, open core, and elimination of imaginaries.
Cite
@article{arxiv.2507.22181,
title = {Generic derivations on algebraically bounded structures II. Model theoretical properties},
author = {Fornasiero Antongiulio and Terzo Giuseppina},
journal= {arXiv preprint arXiv:2507.22181},
year = {2026}
}