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

@@ Property / DOI @@
-.2178/jsl/1129642124
@@ Property / DOI: 10.2178/jsl/1129642124 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1129642124
+Normal rank
@@ Property / OpenAlex ID @@
+W2056914778
@@ Property / OpenAlex ID: W2056914778 / 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 @@
+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
@@ Property / DOI @@
+.2178/JSL/1129642124
@@ Property / DOI: 10.2178/JSL/1129642124 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5486250