Bovenzi, Michele
(2014)
Legendre's theorem in IDelta_0+Omega_1.
[Tesi di dottorato]
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 |
[error in script]
[error in script]
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 per month over past year
Actions (login required)
|
Modifica documento |