The shrinking principle and the axiom of choice (Q996085): Difference between revisions

@@ Property / cites work @@
+Binary refinement implies discrete exponentiation
@@ Property / cites work: Binary refinement implies discrete exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Excluded Middle versus Choice in a topos
@@ Property / cites work: Excluded Middle versus Choice in a topos / rank @@
+Normal rank
@@ Property / cites work @@
+Zorn's lemma and complete Boolean algebras in intuitionistic type theories
+Normal rank
@@ Property / cites work @@
+On constructing completions
@@ Property / cites work: On constructing completions / rank @@
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210469
@@ Property / cites work: Q4210469 / rank @@
+Normal rank