Articoli correlati a Proof Theory and Intuitionistic Systems

Proof Theory and Intuitionistic Systems - Brossura

Scarpellini, Bruno

 
9783662184462: Proof Theory and Intuitionistic Systems
Brossura
ISBN 10: 366218446X ISBN 13: 9783662184462
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
366218446X
ISBN 13 
9783662184462
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540055419: Proof Theory and Intuitionistic Systems: 212

Edizione in evidenza

ISBN 10:  354005541X ISBN 13:  9783540055419
Casa editrice: Springer, 2009
Brossura