ISBN: 9788870881493
Pagine: 168
Anno: 1986
Edizione: 7088

Theories for admissible sets

A unifying approach to Proof Theory.
Lingua: inglese
Categoria: , , .


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.

©2024 BIBLIOPOLIS – Edizioni di Filosofia e Scienze