The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250): Difference between revisions

@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Inaccessible set axioms may have little consistency strength
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+A quasi-intumonistic set theory
@@ Property / cites work: A quasi-intumonistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+Set existence property for intuitionistic theories with dependent choice
+Normal rank
@@ Property / cites work @@
+The disjunction property implies the numerical existence property
+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 @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank