Theories for admissible sets
A unifying approach to Proof Theory.
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€26.00
In this Habilitationschrift we will present a unifying approch to the proof theory of theories in strength between Peano arithmetic PA and the theory kPi defined below. The central notion is that of admissible set; the central method is the systematic use of theories for (literated) admissible sets.
Prodotti correlati
-
AcquistaQuick View
Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
AcquistaQuick View
Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie continua
-
AcquistaQuick View
Notes on Philosophy, Probability and Mathematics
Autore: Ramsey Frank PlumptonA cura di: Galavotti Maria CarlaThis book is a collection of notes by Frank Plumpton continua
-
AcquistaQuick View
Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua