Verkauf durch Sack Fachmedien

Buchholz / Sieg / Feferman

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Medium: Buch
ISBN: 978-3-540-11170-2
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.12.1981
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540111702
  • Medium: Buch
  • ISBN: 978-3-540-11170-2
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.12.1981
  • Sprache(n): Englisch
  • Auflage: 1981
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 1210 g
  • Seiten: 384
  • Format (B x H x T): 155 x 235 x 22 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.