Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880841
@@ Property / cites work: Q3880841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Extending Gödel's negative interpretation to ZF
@@ Property / cites work: Extending Gödel's negative interpretation to ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852176
@@ Property / cites work: Q3852176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369484
@@ Property / cites work: Q4369484 / rank @@
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of the uniformity principle from Church's thesis in intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Q3866108
@@ Property / cites work: Q3866108 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectivity properties of intuitionistic set theory with collection scheme
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494237
@@ Property / cites work: Q5494237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384979
@@ Property / cites work: Q5384979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3797179
@@ Property / cites work: Q3797179 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0001434618030057
+Normal rank
@@ Property / OpenAlex ID @@
+W2799794780
@@ Property / OpenAlex ID: W2799794780 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129975279
@@ Property / Wikidata QID: Q129975279 / rank @@
+Normal rank