The Limits of Predicativity Revisited (Q5013901): Difference between revisions

@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+The syntax and semantics of infinitary languages
@@ Property / cites work: The syntax and semantics of infinitary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Semi-Formal Calculi and Their Applications
@@ Property / cites work: Semi-Formal Calculi and Their Applications / rank @@
+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 @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+La prédicativité
@@ Property / cites work: La prédicativité / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Predicativity and Feferman
@@ Property / cites work: Predicativity and Feferman / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357731
@@ Property / cites work: Q4357731 / rank @@
+Normal rank