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
-
Esaurito
Leggi tuttoQuick ViewIl 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
-
Aggiungi al carrelloQuick View
Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
Esaurito
Leggi tuttoQuick ViewScritti sui fondamenti della matematica
Autore: Dedekind Richard J. W.Chi già non le conosca, leggendo le due brevi operette continua
-
Aggiungi al carrelloQuick View
Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
Ricerca volumi
In evidenza
Novità
- Dante. Realtà e allegoria €50.00
- Poesia e non poesia €35.00
- Principii della filosofia greca €18.00
- Teologia verità politica €20.00
- Filosofia della storia. Lezioni e appunti €50.00