Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540111702
3540111700
9780387111704
0387111700
- Maße
-
25 cm
- Umfang
-
V, 383 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 358 - 368
- Erschienen in
-
Lecture notes in mathematics ; 897
- Schlagwort
-
Beweistheorie
Induktive Definition
Teilsysteme der Analysis
Beweistheorie (Mathematik)
Induktive Definition
Beweistheorie
Induktive Definition
Teilsysteme der Analysis
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
1981
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:44 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Buchholz, Wilfried
- Springer
Entstanden
- 1981
Ähnliche Objekte (12)
On fragments of analysis with strengths of finitely iterated inductive definitions
Terminological reasoning and partial inductive definitions
Axiomatizations of Compositional Inductive-Recursive Definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Proof interpretations: theoretical and practical aspects
Iterated asymptotic cones
Iterated joining means
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Meta-inductive Justification of Inductive Generalizations
Iterated ϕ 4 kinks
Inductive expansion
On fragments of analysis with strengths of finitely iterated inductive definitions
Terminological reasoning and partial inductive definitions
Axiomatizations of Compositional Inductive-Recursive Definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Proof interpretations: theoretical and practical aspects
Iterated asymptotic cones
Iterated joining means
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Meta-inductive Justification of Inductive Generalizations
Iterated ϕ 4 kinks
Inductive expansion
On fragments of analysis with strengths of finitely iterated inductive definitions
Terminological reasoning and partial inductive definitions
Axiomatizations of Compositional Inductive-Recursive Definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Proof interpretations: theoretical and practical aspects
Iterated asymptotic cones
Iterated joining means
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Meta-inductive Justification of Inductive Generalizations
Iterated ϕ 4 kinks