On the relative strengths of fragments of collection (Q5108847): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+End-extensions preserving power set
@@ Property / cites work: End-extensions preserving power set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215216
@@ Property / cites work: Q3215216 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
+Normal rank
@@ Property / cites work @@
+Automorphisms of models of set theory and extensions of NFU
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655359
@@ Property / cites work: Q5655359 / rank @@
+Normal rank