Switch to: Citations

References in:

A Banach–Mazur computable but not Markov computable function on the computable real numbers

Annals of Pure and Applied Logic 132 (2-3):227-246 (2005)

Add references

You must login to add references.

A Comparison of Five “Computable” Operators.Marian Boykan Pour-El - 1960 - Mathematical Logic Quarterly 6 (15‐22):325-340.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 3 citations
A Comparison of Five “Computable” Operators.Marian Boykan Pour-El - 1960 - Mathematical Logic Quarterly 6 (15-22):325-340.details Computability in Philosophy of Computing and Information Direct download (2 more) Export citation Bookmark 3 citations
Recursive Metric Spaces.Y. N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):651-652.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 13 citations
On the Continuity of Constructive Functions.A. A. Markov - 1956 - Journal of Symbolic Logic 21 (3):319-320.details Logic and Philosophy of Logic Direct download Export citation Bookmark 3 citations
Classes Récursivement Fermees et Fonctions Majorantes.Daniel Lacombe - 1959 - Journal of Symbolic Logic 24 (1):52-53.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 1 citation

1