The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719): Difference between revisions

@@ Property / cites work @@
+CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003284
@@ Property / cites work: Q4003284 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-quantifier sentences
@@ Property / cites work: Three-quantifier sentences / rank @@
+Normal rank
@@ Property / cites work @@
+The ∀<sub><i>n</i></sub>∃‐Completeness of Zermelo‐Fraenkel Set Theory
+Normal rank
@@ Property / cites work @@
+Sentences with three quantifiers are decidable in set theory
+Normal rank
@@ Property / cites work @@
+Set-theoretic mereology
@@ Property / cites work: Set-theoretic mereology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank