Verkauf durch Sack Fachmedien

Scarpellini

Proof Theory and Intuitionistic Systems

Medium: Buch
ISBN: 978-3-540-05541-9
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.01.1971
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540055419
  • Medium: Buch
  • ISBN: 978-3-540-05541-9
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.01.1971
  • Sprache(n): Englisch
  • Auflage: 1971
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 458 g
  • Seiten: 292
  • Format (B x H x T): 155 x 235 x 17 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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*.