Constructing the real numbers in HOL (Q1334896): Difference between revisions

@@ Property / cites work @@
+A contribution to the theory of magnitudes and the foundations of analysis
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087300
@@ Property / cites work: Q4087300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3283995
@@ Property / cites work: Q3283995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581797
@@ Property / cites work: Q5581797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565254
@@ Property / cites work: Q5565254 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing constructive real analysis (preliminary report)
+Normal rank
@@ Property / cites work @@
+Q5729383
@@ Property / cites work: Q5729383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+The real numbers as a wreath product
@@ Property / cites work: The real numbers as a wreath product / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023553
@@ Property / cites work: Q4023553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282537
@@ Property / cites work: Q4282537 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rate of convergence in the central limit theorem for sequences of weakly dependent, Hilbert-valued random variables
+Normal rank
@@ Property / cites work @@
+Q4122841
@@ Property / cites work: Q4122841 / rank @@
+Normal rank
@@ Property / cites work @@
+The Derivative a la Caratheodory
@@ Property / cites work: The Derivative a la Caratheodory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804274
@@ Property / cites work: Q5804274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950538
@@ Property / cites work: Q3950538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3233328
@@ Property / cites work: Q3233328 / rank @@
+Normal rank