Библиография Лаврова И.А.

Putnam H. [1973] Recursive functions and hierarchies Amer. Math. Monthly, 80, № 6, Part 2, 68-86 74.01.91 article Вернуться к поиску

Putnam H. [1957] Decidability and essential undecidability J. Symbolic Logic, 22, № 1, 39-54 59.10731 O article Вернуться к поиску

Enderton G., Putnam H. [1970] A note on the hyperarithmetical hierarchy J. Symbolic Logic, 35, № 3, 429-430 71.06.58 O article Вернуться к поиску

Putnam H. [1964] On hierarchies and systems of notations Proc. Amer. Math. Soc., 15, № 1, 44-50 65.02.128 O article Вернуться к поиску

Boolos G., Putnam H. [1968] Degrees of unsolvability of constructible sets of integers J. Symbolic Logic, 33, № 4, 497-513 69.07.70 OS article Вернуться к поиску

Putnam H. [1965] Trial and error predicates and the solution to a problem of Mostowski J. Symbolic Logic, 30 , № 1, 49-57 68.07.74 EO article Вернуться к поиску

Putnam H. [1962] An unsolvable problem in number theory J. Symbolic Logic, 25, № 3, 220-232 (Русский перевод в сб. Математика , 1964, 8, № 5, 55-68.) 64.01.113 article Вернуться к поиску

Putnam H., Smullyan R.M. [1960] Exact separation of recursively enumerable sets within theories Proc. Amer. Math. Soc., 11, № 4, 574-577 61.06.102 O article Вернуться к поиску

Davis M., Putnam H. [1958] Reductions of Hilbert’s tenth problem J. Symbolic Logic, 23, № 2, 183-187 (Русский перевод в сб. Математика , 1964, 8, № 5, 49-54.) 60.1250 article Вернуться к поиску

Hensel G., Putnam H. [1965] On the notational independence of various hierarchies of degree of unsolvability J. Symbolic Logic, 30, № 1, 69-86 68.07.67 R article Вернуться к поиску

Boyd R., Hensel G., Putnam H. [1969] A recursion-theoretic characterization of the ramified analytic hierarchy Trans. Amer. Math. Soc., 141, № 7 , 37-62 70.09.57 S article Вернуться к поиску

Leeds S., Putnam H. [1971] An intristic characterization of the hierarchy of constructible sets of integers Logic Coll’69, North-Holland, 311-350 71.11.94 article Вернуться к поиску

Pour-El M.B., Putnam H. [1965] Recursively enumerable classes and their application to recursive sequences of formal theories Arch. Math. Logik Grundl., 8, № 3-4, 104-121 67.01.71 EO article Вернуться к поиску

Davis M., Putnam H., Robinson J. [1961] The decision problem for exponential Diophantine equations Ann. Math., 74, № 3, 425-436 (Русский перевод в сб. Математика, 1964, 8, № 5, 69-79.) 62.06.58 RS article Вернуться к поиску

P Palmgren E. ParisJB Parsons Ch. Paterson M.S. Payne T.H. Peretyat’kin M.G. Peter R. Pillay A. Pingrey S. Pleszkoch M. Podzorov S.Yu. Posner D.B. Post E.L. Poudestone W. Pour-El M. B. Presburger M. Putnam H. Puzarenko V.G. Вернуться на главную страницу