Bovenzi, Michele (2014) Legendre's theorem in IDelta_0+Omega_1. [Tesi di dottorato]
Preview |
Text
LegendresTheorem_MicheleBovenzi.pdf Download (400kB) | Preview |
| Item Type: | Tesi di dottorato |
|---|---|
| Resource language: | English |
| Title: | Legendre's theorem in IDelta_0+Omega_1 |
| Creators: | Creators Email Bovenzi, Michele michele.bovenzi@unina.it |
| Date: | 31 March 2014 |
| Number of Pages: | 44 |
| Institution: | Università degli Studi di Napoli Federico II |
| Department: | 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 UNSPECIFIED |
| Date: | 31 March 2014 |
| Number of Pages: | 44 |
| Keywords: | Legendre, Fragments of Peano Arithmetic, Pigeonhole principle |
| Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > MAT/01 - Logica matematica |
| Date Deposited: | 10 Apr 2014 09:17 |
| Last Modified: | 13 Jan 2015 15:04 |
| URI: | http://www.fedoa.unina.it/id/eprint/9940 |
Collection description
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)
 |
View Item |
