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

Feferman S. [1960] Arithmetization of metamathematics in a general setting Fund. Math., 49, № 1, 35-92 62.08.77 R article Вернуться к поиску

Feferman S. [1957] Degrees of unsolvability associated with classes of formalized theories J. Symbolic Logic, 22 , № 2, 161-175 58.4449 ROS article Вернуться к поиску

Feferman S. [1965] Some applications of the notions of forcing and generic sets Fund. Math., 56, № 3, 325-345 66.03.77 O article Вернуться к поиску

Ehrenfeucht A., Feferman S. [1960] Representability of r.e. sets in formal theories Arch. Math. Logik Grundl., 5, № 1-2, 37-41 61.03.96 O article Вернуться к поиску

Feferman S. [1978] Recursion theory and set theory: a marriage of convenience Geneneral Recursion Theory, II. Proc. Symp. (Oslo, 1977), Amsterdam, 55-98 79.08.28 article Вернуться к поиску

Feferman S. [1962] Transfinite recursive progressions of axiomatic theories J. Symbolic Logic, 27, № 3, 259-316 (Русский перевод в сб. Математика, 1971, 15, № 5, 84-133.) 64.12.65; 72.01.28 article Вернуться к поиску

Feferman S., Spector C. [1962] Incompleteness along paths in progressions of theory J. Symbolic Logic, 27, № 4, 383-390 (Русский перевод в сб. Математика, 1971, 15, № 6, 159-166.) 64.12.66 RO article Вернуться к поиску

Feferman S. [1962] Classification of recursive functions by mean of hierarchies Trans. Amer. Math. Soc., 104, № 1, 101-122 (Русский перевод в сб. Математика, 1971, 15, № 6, 137-158.) 64.05.67 72.03.54 RO article Вернуться ...

F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL 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 ...