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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963748879
@@ Property / OpenAlex ID: W2963748879 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q127945870
@@ Property / Wikidata QID: Q127945870 / rank @@
+Normal rank