Notation systems and recursive ordered fields

 Access to full text

 Full (PDF)

1. J.C. Dekker [1] Maximal dual ideals in Boolean algebras, Pacific J. Math. vol. 8 (1958) pp. 73—101. Zbl0050.00802
2. R.M. Dudley [2] Computable real functions, Honors Thesis, Harvard University, 1959. 
3. 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. Zbl0070.03502
4. L.M. Graves [4] The theory of functions of real variables, New York-Toronto-London (McGraw-Hill) 1946, second edition 1956. Zbl0070.05203MR18708
5. D. Klaua [5] Konstruktive Analysis, Berlin (Veb. Deutscher Verlag der Wissenschaften) 1961. Zbl0102.25102MR122722
6. S.C. Kleene [6] Introduction to metamathematics, Amsterdam (North Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand) 1952. Zbl0047.00703MR51790
7. [7] On the form of predicates in the theory of constructive ordinals (second paper), Amer. J. Math. vol.77 (1955) pp. 405-428. Zbl0067.25203MR70595
8. 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. Zbl0057.24703
9. G. Kreisel, D. Lacombe and J.R. Schoenfield [9] Partial recursive functionals and effective operations, Constructivity in mathematicsAmsterdam (North Holland), 1959, pp. 290-297. Zbl0178.32201MR108443
10. A.A. Markov [10] The continuity of constructive functions (russian), Uspehi Mat. Nauk vol. 61 (1954) pp. 226-230. Zbl0056.24901MR65493
11. Y.N. Moschovakis [11] Recursive analysis, S. M. Thesis, Mass. Inst. of Tech. June 1960. 
12. [12] Recursive metric spaces, to appear in Fund. Math. MR182562
13. [13] A note on listable orderings and subsets of R, to appear. 
14. [14] Recursive topologies, in preparation. 
15. J. Myhill and J.C. Shepherdson [15] Effective operations on partial recursive functions, Z. Math. Logik Grundlagen Math. vol. 1 (1955) pp. 310—317. Zbl0068.24706
16. E.L. Post [16] Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. vol. 50 (1944) pp. 284-316. Zbl0063.06328MR10514
17. M.O. Rabin [17] Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. vol. 95 (1960) pp. 341-360. Zbl0156.01201MR113807
18. H.G. Rice [18] Recursive real numbers, Proc. Amer. Math. Soc. vol. 5 (1954) pp. 784-791. Zbl0058.00602MR63328
19. R.M. Robinson [19] Review of R. Péter's Rekursive Funktionen, J. Symb. Logic vol. 16 p. 280. A. M. TURING 
20. [20] On computable real numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc. vol. 42 (1937) pp. 230-265. Zbl0016.09701JFM62.1059.03
21. B.L. Van Der Waerden [21] Modern algebra, vol. I, New York (Ungar), 1949. Zbl0039.00902