Effectivity properties of intuitionistic set theory with collection scheme (Q650477): Difference between revisions

@@ 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 @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q3866108
@@ Property / cites work: Q3866108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268417
@@ Property / cites work: Q4268417 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom ``collection'' independence of ``DC'' principle in intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Independence of the partial axiom of choice of intuitionistic set theory
+Normal rank