Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586): Difference between revisions

@@ Property / cites work @@
+Über Teilsysteme von $$\bar \Theta $$ ({g})
@@ Property / cites work: Über Teilsysteme von $$\bar \Theta $$ ({g}) / rank @@
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+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 @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3895467
@@ Property / cites work: Q3895467 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinals connected with formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank