arXiv Open Access 2014

A Theorem of Legendre in $IΔ_0+Ω_1$

Michele Bovenzi Paola D'Aquino

Lihat Sumber

Abstrak

We prove 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 $IΔ_0+Ω_1$.

Topik & Kata Kunci

math.LO

Penulis (2)

Michele Bovenzi

Paola D'Aquino

Format Sitasi

APA MLA BibTeX

Bovenzi, M., D'Aquino, P. (2014). A Theorem of Legendre in $IΔ_0+Ω_1$. https://arxiv.org/abs/1405.4367

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2014
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓