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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00605-007-0468-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1997721056
@@ Property / OpenAlex ID: W1997721056 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114017769
@@ Property / Wikidata QID: Q114017769 / rank @@
+Normal rank
@@ 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