Search results

Friedman Sy D. [1994] The genericity conjecture J. Symbolic Logic, 59, № 2, 606-614 95.08.69 article Вернуться к поиску

Friedman Sy D. [1997] Coding without fine structure J. Symbolic Logic, 62, № 3, 808-815 99.01.39 article Вернуться к поиску

Chong C.T., Friedman Sy D. [1999] Ordinal recursive theory Handbook of Computability Theory, Elsevier, 277-300 ? O article Вернуться к поиску

Friedman Sy D. [1983] Some recent developments in higher recursion theory J. Symbolic Logic, 48, № 3, 629-642 84.07.52 article Вернуться к поиску

Friedman Sy D., Sacks G.E. [1977] Inadmissible Recursion Theory Bull. Amer. Math. Soc., 83 , № 2, 255-256 77.12.48 0 article Вернуться к поиску

Friedman Sy D. [1981] Natural α- RE degrees Lect. Notes in Math., 859, 63-66, Springer-Verlag 81.12.46 article Вернуться к поиску

Friedman Sy D. [1975] An introduction to β-recursion theory General Recursion Theory, II. Proc. Symp. (Oslo, 1977), Amsterdam, 111-126 79.06.57 article Вернуться к поиску

Friedman Sy D. [1982] The Turing degrees and metadegrees have isomorphic cones Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 145-157 84.02.39 article Вернуться к поиску

Friedman Sy D. [1985] Fine structure theory and its applications Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math.42, Springer-Verlag, 259-270 86.04.26 article Вернуться к поиску

... FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM FriedmanSyD Fröhlich A. Frolov A. Füredi Z. Fukuyama M. Вернуться на главную страницу