Search results

Soskov I. N. [1989] Definability via enumerations J. Symbolic Logic, 54, № 2, 428-440 90.06.62 article Вернуться к поиску

Soskov I. N., Soskova A. A. [1990] Effective enumerations of abstract structures Mathematical Logic, Plenum, NY, 361-372 ? G article Вернуться к поиску

Soskov I. N., Baleva V. [2002] Regular enumerations J. Symbolic Logic, 67, № 4, 1323-1343 09.11.112 article Вернуться к поиску

Soskov I. N. [1991] Second order definability via enumerations Z. math. Logik und Grundl. Math., 37, № 1, 45-54 92.09.57 article Вернуться к поиску

Soskov I. N. [2000] A jump inversion theorem for the enumeration jump Arch. Math. Logik Grundl., 39, № 6, 417-437 05.08.90 article Вернуться к поиску

Soskov I. N. [2004] Degree spectra and ω-spectra of structure Ann.Univ. Sofia, Fac. Math., Inform., 96, 45–68 06.05.108 article Вернуться к поиску

Soskov I. N. [1998] Constructing minimal pairs of degrees Ann.Univ. Sofia, Fac. Math., Inform., 1996 (1998), 89, 101-112 02.06.58 article Вернуться к поиску

Soskov I. N., Soskova A. A. [1998] Admissibility in Σ n 0 -enumerations Ann.Univ. Sofia, Fac. Math., Inform., 1996 (1998), 90, 77-90 03.12.121 article Вернуться к поиску

Soskova A. A., Soskov I. N. [2004] Co-spectra of join spectra of structures Ann.Univ. Sofia, Fac. Math., Inform., 96, 35–44 06.05.109 article Вернуться к поиску

... Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile ...