Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Kurzinformation
Sprache:
Englisch
ISBN:
9783540111702
Verlag:
Seitenzahl:
392 Seiten
Auflage:
-
Erschienen:
1981-12-01
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
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. von Buchholz, W.;Sieg, W.;Pohlers, W.;Feferman, S.;
Produktdetails
Einband:
Hardcover
Seitenzahl:
392 Seiten
Erschienen:
1981-12-01
Sprache:
Englisch
EAN:
9783540111702
ISBN:
9783540111702
Verlag:
Gewicht:
593 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Gut
15,65 €
Entdecke mehr zum Thema
![Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)](https://d3k2uuz9r025mk.cloudfront.net/media/image/47/d7/69/1776258024_138717603718.jpg "Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)")
