Moschovakis, Yiannis N.
Notation systems and recursive ordered fields
Compositio Mathematica, Tome 17 (1965-1966) , p. 40-71
Zbl 0143.01303 | MR 181569
URL stable : http://www.numdam.org/item?id=CM_1965-1966__17__40_0

Bibliographie

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

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 0070.03502

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

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

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

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

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 0057.24703

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 108443 | Zbl 0178.32201

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

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 182562

[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 0068.24706

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 10514 | Zbl 0063.06328

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

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

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 62.1059.03 | Zbl 0016.09701

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