Bovenzi, Michele
(2014)
Legendre's theorem in IDelta_0+Omega_1.
[Tesi di dottorato]
| Item Type: |
Tesi di dottorato
|
| Lingua: |
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 |
| Uncontrolled Keywords: |
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]
| Date Deposited: |
10 Apr 2014 09:17 |
| Last Modified: |
13 Jan 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)
 |
View Item |
