CZF does not have the existence property (Q2637709): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2014.01.004
@@ Property / DOI: 10.1016/j.apal.2014.01.004 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2013764776
@@ Property / OpenAlex ID: W2013764776 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3408
@@ Property / arXiv ID: 1303.3408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis, continuity, and set theory
@@ Property / cites work: Church's thesis, continuity, and set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710519
@@ Property / cites work: Q3710519 / 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 @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Set existence property for intuitionistic theories with dependent choice
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+On the constructive Dedekind reals
@@ Property / cites work: On the constructive Dedekind reals / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+The disjunction and related properties for constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q5435636
@@ Property / cites work: Q5435636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384979
@@ Property / cites work: Q5384979 / rank @@
+Normal rank
@@ Property / cites work @@
+From the weak to the strong existence property
@@ Property / cites work: From the weak to the strong existence property / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing the interpretation of set theory in Martin-Löf type theory
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2014.01.004
@@ Property / DOI: 10.1016/J.APAL.2014.01.004 / rank @@
+Normal rank