A Theorem of Legendre in $I\Delta_0+\Omega_1$
Logic
2014-05-21 v2
Abstract
We prove a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form , in the weak fragment of Peano Arithmetic .
Keywords
Cite
@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}
}