Bovenzi, Michele (2014) Legendre's theorem in IDelta_0+Omega_1. [Tesi di dottorato]
Anteprima |
Testo
LegendresTheorem_MicheleBovenzi.pdf Download (400kB) | Anteprima |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | Legendre's theorem in IDelta_0+Omega_1 |
| Autori: | Autore Email Bovenzi, Michele michele.bovenzi@unina.it |
| Data: | 31 Marzo 2014 |
| Numero di pagine: | 44 |
| Istituzione: | Università degli Studi di Napoli Federico II |
| Dipartimento: | Matematica e Applicazioni "Renato Caccioppoli" |
| Scuola di dottorato: | Scienze matematiche ed informatiche |
| Dottorato: | Scienze matematiche |
| Ciclo di dottorato: | 25 |
| Coordinatore del Corso di dottorato: | nome email de Giovanni, Francesco degiovan@unina.it |
| Tutor: | nome email D'Aquino, Paola [non definito] |
| Data: | 31 Marzo 2014 |
| Numero di pagine: | 44 |
| Parole chiave: | Legendre, Fragments of Peano Arithmetic, Pigeonhole principle |
| Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > MAT/01 - Logica matematica |
| Depositato il: | 10 Apr 2014 09:17 |
| Ultima modifica: | 13 Gen 2015 15:04 |
| URI: | http://www.fedoa.unina.it/id/eprint/9940 |
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
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
