MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 727

Preprint Number 727

Previous Next Preprint server


727. Michele Bovenzi, Paola D'Aquino
Legendre's Theorem in IΔ_0+Ω_1
E-mail:

Submission date: 17 May 2014.

Abstract:

We have proved a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form ax^2+by^2+cz^2=0, in the weak fragment of Peano Arithmetic

Mathematics Subject Classification: 03C62

Keywords and phrases:

Full text arXiv 1405.4367: pdf, ps.


Last updated: May 29 2014 15:53 Please send your corrections to: