EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER (Q6095975): Difference between revisions

@@ Property / cites work @@
+On zeros of Martin-Löf random Brownian motion
@@ Property / cites work: On zeros of Martin-Löf random Brownian motion / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Muchnik reducibility and presentations of fields
+Normal rank
@@ Property / cites work @@
+Borel structures and Borel theories
@@ Property / cites work: Borel structures and Borel theories / rank @@
+Normal rank
@@ Property / cites work @@
+COMPARING TWO VERSIONS OF THE REALS
@@ Property / cites work: COMPARING TWO VERSIONS OF THE REALS / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS
@@ Property / cites work: COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694281
@@ Property / cites work: Q4694281 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Recursively Saturated Models
@@ Property / cites work: Degrees of Recursively Saturated Models / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the Jump of a Structure
@@ Property / cites work: Notes on the Jump of a Structure / rank @@
+Normal rank
@@ Property / cites work @@
+A fixed point for the jump operator on structures
@@ Property / cites work: A fixed point for the jump operator on structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464659
@@ Property / cites work: Q3464659 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5391560
@@ Property / cites work: Q5391560 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points for the jump operator
@@ Property / cites work: Fixed points for the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559240
@@ Property / cites work: Q5559240 / rank @@
+Normal rank
@@ Property / cites work @@
+A Jump Inversion Theorem for the Degree Spectra
@@ Property / cites work: A Jump Inversion Theorem for the Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+A Jump Inversion Theorem for the Degree Spectra
@@ Property / cites work: A Jump Inversion Theorem for the Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Q3714044
@@ Property / cites work: Q3714044 / rank @@
+Normal rank