Wellordering proofs for metapredicative Mahlo (Q4532614): Difference between revisions

@@ Property / cites work @@
+Universes in explicit mathematics
@@ Property / cites work: Universes in explicit mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of admissibility without foundation
@@ Property / cites work: The strength of admissibility without foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Martin-Löf type theory with a superuniverse. II
+Normal rank
@@ Property / cites work @@
+The strength of Martin-Löf type theory with a superuniverse. I
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of KPM
@@ Property / cites work: Proof-theoretic analysis of KPM / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
+Normal rank
@@ Property / cites work @@
+Fixed point theories and dependent choice
@@ Property / cites work: Fixed point theories and dependent choice / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated fixed point theories
+Normal rank