Search results

Harizanov V.S., Miller R. [2007] Spectra of structures and relations J. Symbolic. Logic, 72, № 1, 324-348 ? article Вернуться к поиску

Harizanov V.S. [1998] Pure computable model theory Handbook of Recursive Mathematics, v.1, 3-114, Elsevier ? article Вернуться к поиску

Harizanov V. S. [2002] Computability-theoretic complexity of countable sets Bull. Symbolic Logic, 8, № 4, 457-477 ? article Вернуться к поиску

Harizanov V. S. [1991] Uncountable degree spectra Ann. Pure Appl. Logic, 54, № 3, 255-263 92.03.88 G article Вернуться к поиску

Harizanov V. S., Knight J. F., Morozov A. S. [2002] Sequences on n -diagrams J. Symbolic Logic, 67, № 3, 1227-1247 06.10.49 article Вернуться к поиску

Harizanov V. S. [1998] Turing degrees of certain isomorphic images of computable relations Ann. Pure Appl. Logic, 93, № 1-3, 103-113 ? G article Вернуться к поиску

Chubb J.,Frolov A.,Harizanov V. [2009] Degree spectra of successivities of linear orderings Arch. Math. Log., 48, № 1 7-13 article Вернуться к поиску

Harizanov V. S., Kummer M., Owings J. C. [1992] Frequency computations and the cardinality theorem J. Symbolic Logic, 57, № 2, 682-687 93.04.55 article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., Shore R.A. [2004] Π 1 1 relations and paths through 0 J. Symbolic Logic, 69, № 2, 585-611 05.09.95 article Вернуться к поиску

Harizanov V. S. [1991] Some effects of Ash-Nerode and other decidability conditions on degree spectra Ann. Pure Appl. Logic, 55, № 1, 51-65 92.04.30 G article Вернуться к поиску

Calvert W., Harizanov V. S., Shlapentokh A. [2007] Turing degrees of isomorphism types of algebraic objects J. London Math. Soc., 75, 2, 273-286 08.03.169 article Вернуться к поиску

Harizanov V. S. [1993] The possible Turing degree of the nonzero member in a two element degree spectrum Ann. Pure Appl. Logic, 60, № 1, 1-30 93.11.91 G article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., Millar R.C., Solomon R. [2005] Enumerations in computable structure theory Ann. Pure Appl. Logic, 136, № 3, 219-246 ? article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., [2003] Simple and immune relations on coutable structures Arch. Math. Logik Grundl., 42, № 3, 279-291 85.05.109 article Вернуться к поиску

Chisholm J., Chubb J., Harizanov V.S., Hirschfeldt D. R., Jockusch C. G. Jr. McNiholl T., Pingrey S. [2007] Π 1 0 classes and strong degree spectra of relation J. Symbolic Logic, 72, № 3, 1003-1018 ? article Вернуться к поиску

H Haas R. 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....