带有 Weierstrass $\wp$ 函数的实数域的一致模型完备性
逻辑
2014-10-28 v1
摘要
在本工作中，我们证明了通过 Weierstrass 函数（作为变量 和参数（或周期） 的函数）扩张的实数域的模型完备性。我们需要存在性地定义 函数关于变量 和参数 的偏导数。为了获得这一结果，我们需要在结构中包含无限制指数函数和限制正弦函数的函数符号、Weierstrass 函数以及准模形式 。我们证明了一些辅助的模型完备性结果，涉及这些函数与适当的变量变换的复合。在结论中，我们就证明的非有效性以及获得有效模型完备性结果所需克服的困难进行了一些评述。
引用
@article{arxiv.1410.7191,
title = {Uniform Model Completeness for the Real Field with the Weierstrass $\wp$ Function},
author = {Ricardo Bianconi},
journal= {arXiv preprint arXiv:1410.7191},
year = {2014}
}
备注
11 pages