2025/12/01 by Martin-Pizarro, Amador
#03C45 (Primary) #11J91 (Secondary) #12H05 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2512.01866
The goal of this text is to exhibit some of the ideas and methods from geometric model theory, translated to the particular context of differentially closed fields, exhibiting in a more or less self-contained way the tools needed for the recent proof of Freitag, Jaoui and Moosa on functional transcendence and their so-called C2-property, which serves as a leitmotif for the presentation.