研究团队发布数论与偏微分方程预印本《The complexity of tilting》

研究团队发布数论与偏微分方程预印本《The complexity of tilting》，通过无穷逻辑将算术模型理论结果提升为量词敏感形式，应用于完美域模型理论，证明倾斜操作在精确意义上保持了莱维层次结构。