A Theorem of Legendre in IΔ₀+Ω₁

2014/05/17 by Michele Bovenzi, Bovenzi, Michele, Paola D'Aquino +1
Mathematics · #03C62 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C62

paper · pdf · doi:10.48550/arxiv.1405.4367

arxiv created 2014/05/20 · arxiv updated 2014/05/21

Abstract

We prove a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form ax²+by²+cz²=0, in the weak fragment of Peano Arithmetic IΔ₀+Ω₁.

Related

• A new proof of Legendre's theorem on the Diophantine equation ax²+by²+cz²=0
• On the magnitude of the gaussian integer solutions of the Legendre equation
• Legendre's conjecture. Theorem on existence of a prime number between m² and (m+1)²
• On a Theorem of Legendre on Diophantine Approximation
• A Note on Pépin's counter examples to the Hasse principle for curves of genus 1