Q2776806 (Q2776806): Difference between revisions

@@ Property / cites work @@
+Epsilon substitution method for theories of jump hierarchies
+Normal rank
@@ Property / cites work @@
+AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
+Normal rank
@@ Property / cites work @@
+Q4325772
@@ Property / cites work: Q4325772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215632
@@ Property / cites work: Q4215632 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary descent recursion and proof theory
@@ Property / cites work: Elementary descent recursion and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Finite functions and the necessary use of large cardinals
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong termination for the epsilon substitution method
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Functionals defined by transfinite recursion
@@ Property / cites work: Functionals defined by transfinite recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The substitution method
@@ Property / cites work: The substitution method / rank @@
+Normal rank