微分代数排列群
摘要：特征为零的微分封闭域中，获得了关于可定义有限秩置换群的几个结构结果，并且还获得了在常数集中定义同构于代数置换群的有限秩可定义原始置换群的结果。应用包括验证Borovik-Deloro和Borovik-Cherlin的有限Morley秩置换群猜想，在微分封闭域中应用结果对于内部性与常数的绑定群，可以推断如果完全类型$p$和$q$的秩分别为$m$和$n$，且非正交的话，那么$p$的$(m+3)$次Morley幂不与$q$的$(n+3)$次Morley幂弱正交。给出了对于代数微分方程对的通解的超越性的一个应用。
作者：James Freitag, L''eo Jimenez, Rahim Moosa
论文ID：2307.11220
分类：Logic
分类简称：math.LO
提交时间：2023-07-24