Primitive Recursiveness of Real Numbers under Different Representations (Q4921448): Difference between revisions

@@ Property / cites work @@
+The recursive irrationality of <i>π</i>
@@ Property / cites work: The recursive irrationality of <i>π</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856819
@@ Property / cites work: Q3856819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222035
@@ Property / cites work: Q4222035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of some complexity classes of real numbers
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive real numbers
@@ Property / cites work: Recursive real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On primitive recursive real numbers
@@ Property / cites work: On primitive recursive real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On computable sequences
@@ Property / cites work: On computable sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria of constructibility for real numbers
@@ Property / cites work: Criteria of constructibility for real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241331
@@ Property / cites work: Q3241331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801335
@@ Property / cites work: Q5801335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805955
@@ Property / cites work: Q5805955 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531994
@@ Property / cites work: Q4531994 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank