We have given a proof of Legendre's theorem about the existence of integral solutions of equations of the form ax^2+bx^2+cz^2=0, in the weak fragment of Peano arithmetic denoted by IDelta_0+Omega_1

Legendre's theorem in IDelta_0+Omega_1

2014

Abstract

We have given a proof of Legendre's theorem about the existence of integral solutions of equations of the form ax^2+bx^2+cz^2=0, in the weak fragment of Peano arithmetic denoted by IDelta_0+Omega_1
2014
it
File in questo prodotto:
File Dimensione Formato  
LegendresTheorem_MicheleBovenzi.pdf

accesso solo da BNCF e BNCR

Tipologia: Altro materiale allegato
Licenza: Tutti i diritti riservati
Dimensione 391.54 kB
Formato Adobe PDF
391.54 kB Adobe PDF

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/339622
Il codice NBN di questa tesi è URN:NBN:IT:BNCF-339622