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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0001434611050038
+Normal rank
@@ Property / OpenAlex ID @@
+W2024285112
@@ Property / OpenAlex ID: W2024285112 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:650477