Algebro-geometric axioms for DCF$_{0,m}$
Logic
2017-07-20 v2
Abstract
We give an algebro-geometric first-order axiomatization of DCF (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF.
Cite
@article{arxiv.1601.04211,
title = {Algebro-geometric axioms for DCF$_{0,m}$},
author = {Omar Leon Sanchez},
journal= {arXiv preprint arXiv:1601.04211},
year = {2017}
}