Università degli Studi di Udine OpenUniud - Archivio istituzionale delle tesi di dottorato
 

OpenUniud - Archivio istituzionale delle tesi di dottorato >
Udine Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10990/458

Autori: Frittaion, Emanuele
Supervisore afferente all'Università: MARCONE, ALBERTO GIULIO
Centro di ricerca: DIPARTIMENTO MATEMATICA E INFORMATICA - DIMI
Titolo: Reverse mathematics and partial orders
Abstract (in inglese): We investigate the reverse mathematics of several theorems about partial orders. We mainly focus on the analysis of scattered (no copy of the rationals) and FAC (no infinite antichains) partial orders, for which we consider many characterization theorems (for instance the well-known Hausdorff’s theorem for scattered linear orders). We settle the proof-theoretic strength of most of these theorems. If not, we provide positive and negative bounds.
Parole chiave: Reverse mathematics; partial orders; scattered; antichains; initial intervals; rationals
MIUR : Settore MAT/01 - Logica Matematica
Lingua: eng
Data: 14-mar-2014
Corso di dottorato: Dottorato di ricerca in Matematica e fisica
Ciclo di dottorato: 26
Università di conseguimento titolo: Università degli Studi di Udine
Luogo di discussione: Udine
Citazione: Frittaion, E. Reverse mathematics and partial orders. (Doctoral Thesis, Università degli Studi di Udine, 2014).
In01 - Tesi di dottorato

Full text:

File Descrizione DimensioniFormatoConsultabilità
thesis.pdfTesi dottorato701,64 kBAdobe PDFVisualizza/apri


Tutti i documenti archiviati in DSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by CINECA. Powered on DSpace SoftwareFeedback CINECA