Iterated Inductive Definitions Revisited (Q5214787): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-63334-3_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2794927041
@@ Property / OpenAlex ID: W2794927041 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretation and inductive definitions
+Normal rank
@@ Property / cites work @@
+Applications of cut-free infinitary derivations to generalized recursion theory
+Normal rank
@@ Property / cites work @@
+Q4893145
@@ Property / cites work: Q4893145 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371201
@@ Property / cites work: Q4371201 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Q3081641
@@ Property / cites work: Q3081641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138829
@@ Property / cites work: Q3138829 / rank @@
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Q5622162
@@ Property / cites work: Q5622162 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+A system of abstract constructive ordinals
@@ Property / cites work: A system of abstract constructive ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041187
@@ Property / cites work: Q3041187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797583
@@ Property / cites work: Q4797583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654032
@@ Property / cites work: Q5654032 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981456
@@ Property / cites work: Q4981456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4120570
@@ Property / cites work: Q4120570 / rank @@
+Normal rank
@@ Property / cites work @@
+From Subsystems of Analysis to Subsystems of Set Theory
+Normal rank
@@ Property / cites work @@
+Ordinals connected with formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert’s Programme and Ordinal Analysis
@@ Property / cites work: Hilbert’s Programme and Ordinal Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory of reflection
@@ Property / cites work: Proof theory of reflection / rank @@
+Normal rank
@@ Property / cites work @@
+An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
+Normal rank
@@ Property / cites work @@
+An ordinal analysis of stability
@@ Property / cites work: An ordinal analysis of stability / rank @@
+Normal rank
@@ Property / cites work @@
+Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5214787