@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://archive.numdam.org/item/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://archive.numdam.org/item/CM_1965-1966__17__40_0/
Maximal dual ideals in Boolean algebras, Pacific J. Math. vol. 8 (1958) pp. 73-101. | Zbl
[1]Computable real functions, Honors Thesis, Harvard University, 1959.
[2]Effective procedures in field theory, Philos. Trans. Roy. Soc. London, ser. A, vol. 248 (1955-56) pp. 407-482. | Zbl
and [8]The theory of functions of real variables, New York-Toronto-London (McGraw-Hill) 1946, second edition 1956. | MR | Zbl
[4]Konstruktive Analysis, Berlin (Veb. Deutscher Verlag der Wissenschaften) 1961. | MR | Zbl
[5]Introduction to metamathematics, Amsterdam (North Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand) 1952. | MR | Zbl
[6][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
The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math. vol. 59 (1954) pp. 379-407. | Zbl
and [8]Partial recursive functionals and effective operations, Constructivity in mathematics Amsterdam (North Holland), 1959, pp. 290-297. | MR | Zbl
, and [9]The continuity of constructive functions (russian), Uspehi Mat. Nauk vol. 61 (1954) pp. 226-230. | MR | Zbl
[10]Recursive analysis, S. M. Thesis, Mass. Inst. of Tech. June 1960.
[11][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.
Effective operations on partial recursive functions, Z. Math. Logik Grundlagen Math. vol. 1 (1955) pp. 310-317. | Zbl
and [15]Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. vol. 50 (1944) pp. 284-316. | MR | Zbl
[16]Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. vol. 95 (1960) pp. 341-360. | MR | Zbl
[17]Recursive real numbers, Proc. Amer. Math. Soc. vol. 5 (1954) pp. 784-791. | MR | Zbl
[18]Review of R. Péter's Rekursive Funktionen, J. Symb. Logic vol. 16 p. 280. A. M. TURING
[19][20] On computable real numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc. vol. 42 (1937) pp. 230-265. | JFM | Zbl
Modern algebra, vol. I, New York (Ungar), 1949. | Zbl
[21]