$I\Delta_0+\Omega_1$ 中的勒让德定理
逻辑
2014-05-21 v2
摘要
我们在皮亚诺算术的弱片段 中证明了一个由勒让德提出的经典定理，该定理关于形如 的二次丢番图方程非平凡解的存在性。
引用
@article{arxiv.1405.4367,
title = {A Theorem of Legendre in $I\Delta_0+\Omega_1$},
author = {Michele Bovenzi and Paola D'Aquino},
journal= {arXiv preprint arXiv:1405.4367},
year = {2014}
}