A Candidate for the Generalised Real Line (Q3188265): Difference between revisions

@@ Property / cites work @@
+Q3757993
@@ Property / cites work: Q3757993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4638258
@@ Property / cites work: Q4638258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779146
@@ Property / cites work: Q4779146 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Q4782270
@@ Property / cites work: Q4782270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893759
@@ Property / cites work: Q4893759 / rank @@
+Normal rank
@@ Property / cites work @@
+Fields of surreal numbers and exponentiation
@@ Property / cites work: Fields of surreal numbers and exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Real numbers, generalizations of the reals, and theories of continua
+Normal rank
@@ Property / cites work @@
+Dedekind cuts of Archimedean complete ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Generalized Descriptive Set Theory and Classification Theory
+Normal rank
@@ Property / cites work @@
+Q3726227
@@ Property / cites work: Q3726227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715603
@@ Property / cites work: Q2715603 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Surreal Analysis: An Analogue of Real Analysis for Surreal Numbers
+Normal rank
@@ Property / cites work @@
+Q5798873
@@ Property / cites work: Q5798873 / rank @@
+Normal rank