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
Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
AcquistaQuick View
Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
AcquistaQuick View
Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
AcquistaQuick View
Il continuo. Indagini critiche sui fondamenti dell’Analisi
Autore: Weyl HermannA cura di: Veit B.«Con questo saggio non ci proponiamo di erigere, nello spirito continua