带指数函数的超越级数微分域的模型完备性
逻辑
2020-11-30 v3 交换代数
摘要
令 为对数-指数超越级数的微分域。我们证明 通过其自然指数函数的扩张是模型完备且局部 o-极小。我们给出了该扩张理论的一个公理系统，其相对于实指数域理论是有效的。我们调整了我们的结果以表明， 通过该指数函数及其自然受限正弦和受限余弦函数的扩张也是模型完备且局部 o-极小的。
引用
@article{arxiv.2004.14957,
title = {Model completeness for the differential field of transseries with exponentiation},
author = {Elliot Kaplan},
journal= {arXiv preprint arXiv:2004.14957},
year = {2020}
}
备注
1.3 is incorrect as stated. This creates a gap in 4.15 and 4.19, both of which are needed for the main result. The gap in 4.15 can be fixed, the gap in 4.19 is work in progress