Proof Theory and Intuitionistic Systems
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
21 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Proof Theory and Intuitionistic Systems “
Klappentext zu „Proof Theory and Intuitionistic Systems “
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*.
Inhaltsverzeichnis zu „Proof Theory and Intuitionistic Systems “
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*.
Bibliographische Angaben
- Autor: Bruno Scarpellini
- 1971, 300 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 354005541X
- ISBN-13: 9783540055419
- Erscheinungsdatum: 01.01.1971
Sprache:
Englisch
Kommentar zu "Proof Theory and Intuitionistic Systems"
0 Gebrauchte Artikel zu „Proof Theory and Intuitionistic Systems“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Proof Theory and Intuitionistic Systems".
Kommentar verfassen