Independence results around constructive ZF (Q1765158): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2004.08.002
@@ Property / DOI: 10.1016/j.apal.2004.08.002 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2963036596
@@ Property / OpenAlex ID: W2963036596 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00465
@@ Property / arXiv ID: 1510.00465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+CZF and second order arithmetic
@@ Property / cites work: CZF and second order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381421
@@ Property / cites work: Q4381421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718562
@@ Property / cites work: Q5718562 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.08.002
@@ Property / DOI: 10.1016/J.APAL.2004.08.002 / rank @@
+Normal rank