Binary refinement implies discrete exponentiation (Q861570): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-006-9014-9
@@ Property / DOI: 10.1007/s11225-006-9014-9 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+The shrinking principle and the axiom of choice
@@ Property / cites work: The shrinking principle and the axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+On constructing completions
@@ Property / cites work: On constructing completions / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Independence results around constructive ZF
@@ Property / cites work: Independence results around constructive ZF / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q61835220
@@ Property / Wikidata QID: Q61835220 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-006-9014-9
@@ Property / DOI: 10.1007/S11225-006-9014-9 / rank @@
+Normal rank