Simplified collapsing functions and their applications (Q687397): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3690813
@@ Property / cites work: Q3690813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041187
@@ Property / cites work: Q3041187 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal notations based on a weakly Mahlo cardinal
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of KPM
@@ Property / cites work: Proof-theoretic analysis of KPM / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank