Notation systems and recursive ordered fields
Compositio Mathematica, Tome 17 (1965-1966), pp. 40-71. 
@article{CM_1965-1966__17__40_0,
     author = {Moschovakis, Yiannis N.},
     title = {Notation systems and recursive ordered fields},
     journal = {Compositio Mathematica},
     pages = {40--71},
     publisher = {Kraus Reprint},
     volume = {17},
     year = {1965-1966},
     mrnumber = {181569},
     zbl = {0143.01303},
     language = {en},
     url = {http://www.numdam.org/item/CM_1965-1966__17__40_0/}
}
TY  - JOUR
AU  - Moschovakis, Yiannis N.
TI  - Notation systems and recursive ordered fields
JO  - Compositio Mathematica
PY  - 1965-1966
SP  - 40
EP  - 71
VL  - 17
PB  - Kraus Reprint
UR  - http://www.numdam.org/item/CM_1965-1966__17__40_0/
LA  - en
ID  - CM_1965-1966__17__40_0
ER  - 
%0 Journal Article
%A Moschovakis, Yiannis N.
%T Notation systems and recursive ordered fields
%J Compositio Mathematica
%D 1965-1966
%P 40-71
%V 17
%I Kraus Reprint
%U http://www.numdam.org/item/CM_1965-1966__17__40_0/
%G en
%F CM_1965-1966__17__40_0
Moschovakis, Yiannis N. Notation systems and recursive ordered fields. Compositio Mathematica, Tome 17 (1965-1966), pp. 40-71. http://www.numdam.org/item/CM_1965-1966__17__40_0/

J.C. Dekker [1] Maximal dual ideals in Boolean algebras, Pacific J. Math. vol. 8 (1958) pp. 73-101. | Zbl

R.M. Dudley [2] Computable real functions, Honors Thesis, Harvard University, 1959.

A. Fröhlich and J.C. Shepherdson [8] Effective procedures in field theory, Philos. Trans. Roy. Soc. London, ser. A, vol. 248 (1955-56) pp. 407-482. | Zbl

L.M. Graves [4] The theory of functions of real variables, New York-Toronto-London (McGraw-Hill) 1946, second edition 1956. | MR | Zbl

D. Klaua [5] Konstruktive Analysis, Berlin (Veb. Deutscher Verlag der Wissenschaften) 1961. | MR | Zbl

S.C. Kleene [6] Introduction to metamathematics, Amsterdam (North Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand) 1952. | MR | Zbl

[7] On the form of predicates in the theory of constructive ordinals (second paper), Amer. J. Math. vol. 77 (1955) pp. 405-428. | MR | Zbl

S.C. Kleene and E.L. Post [8] The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math. vol. 59 (1954) pp. 379-407. | Zbl

G. Kreisel, D. Lacombe and J.R. Schoenfield [9] Partial recursive functionals and effective operations, Constructivity in mathematics Amsterdam (North Holland), 1959, pp. 290-297. | MR | Zbl

A.A. Markov [10] The continuity of constructive functions (russian), Uspehi Mat. Nauk vol. 61 (1954) pp. 226-230. | MR | Zbl

Y.N. Moschovakis [11] Recursive analysis, S. M. Thesis, Mass. Inst. of Tech. June 1960.

[12] Recursive metric spaces, to appear in Fund. Math. | MR

[13] A note on listable orderings and subsets of R, to appear.

[14] Recursive topologies, in preparation.

J. Myhill and J.C. Shepherdson [15] Effective operations on partial recursive functions, Z. Math. Logik Grundlagen Math. vol. 1 (1955) pp. 310-317. | Zbl

E.L. Post [16] Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. vol. 50 (1944) pp. 284-316. | MR | Zbl

M.O. Rabin [17] Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. vol. 95 (1960) pp. 341-360. | MR | Zbl

H.G. Rice [18] Recursive real numbers, Proc. Amer. Math. Soc. vol. 5 (1954) pp. 784-791. | MR | Zbl

R.M. Robinson [19] Review of R. Péter's Rekursive Funktionen, J. Symb. Logic vol. 16 p. 280. A. M. TURING

[20] On computable real numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc. vol. 42 (1937) pp. 230-265. | JFM | Zbl

B.L. Van Der Waerden [21] Modern algebra, vol. I, New York (Ungar), 1949. | Zbl