Search results

Hinman P.G. [1999] On recursion on abstract structures Handbook of Computability Theory, Elsevier, 315-362 ? article Вернуться к поиску

Hinman P.G. [1984] Finitely approximable sets Lect. Notes in Math., 1104, 233-258, Springer-Verlag 85.09.33 article Вернуться к поиску

Hinman P.G. [1973] Degrees of continuous functionals J. Symbolic Logic, 38 , № 3, 393-395 74.07.118 O article Вернуться к поиску

Hinman P.G. [1977] A survey of finite-type recursion Lect. Notes in Math., 619, 187-209, Springer-Verlag 78.10.28 article Вернуться к поиску

Hinman P. G. [1978] Recursion-theoretical hierarchies Omega Series, Springer-Verlag ? SO book Вернуться к поиску

Hinman P.G., Slaman T.A. [1991] Jump embedding in the Turing degrees J. Symbolic Logic, 56, № 2, 563-591 92.08.64 article Вернуться к поиску

Hinman P.G., Moschovakis Y.N. [1971] Computability over the continuum Logic Coll ’69, North Holland, 77-105 71.11.85 O article Вернуться к поиску

Cholak P., Hinman P.G. [1994] Iterated relative recursive enumerability, Arch. Math. Logik Grundl., 33, № 5, 321-346 95.11.51 article Вернуться к поиску

Hinman P.G. [1973] The finite levels of the hierarchy of effective R -sets Fund. Math., 79, № 1, 1-10 73.11.70 article Вернуться к поиску

Hinman P.G. [1969] Some applications of forcing to hierarchy problems in arithmetic Z. math. Logik und Grundl. Math., 15, № 4 , 341-352 70.10.71 O article Вернуться к поиску

Cenzer D., Hinman P. G. [2003] Density of the Medvedev lattice of Π 1 0 classes Arch. Math. Logik Grundl., 42, № 6, 583-600 05.08.80 article Вернуться к поиску

Aczel P., Hinman P.G. [1974] Recursion in the superjump General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 3-41 North Holland 75.06.123 article Вернуться к поиску

... Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J.M.E. Вернуться ...