Search results

Hirschfeldt D. R. [2000] Degree spectra of relations on computable structures Bull. Symbolic Logic, 6, № 2, 197-212 06.10.72 article Вернуться к поиску

Hirschfeldt D. R. [2001] Degree spectra of intrinsically c.e. relations J. Symbolic Logic, 66, № 2, 441-469 05.06.142 article Вернуться к поиску

Downey R.. Hirschfeldt D. R. [2007] Algorithmic randomness and complexity Springer, Berlin ? book Вернуться к поиску

Hirschfeldt D. R., Nies A., Stephan F. [2007] Using random sets as oracles J. London Math. Soc., 7, № 3, 610-622 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R, , Miller J. S., Nies A. [2005] Relativizing Chaitin’s halting probability J. Math. Logic, 5, № 2, 167-192 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., LaForte G. [2004] Randomness and reducibility J. Comp. and System Sci., 68, № 1, 96-114 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Nies A. , Terwijn S. [2006] Calibrating randomness Bull. Symbolic Logic, 12, № 3, 411-491 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Nies A. [2002] Randomness, computability and density SIAM J. Comp., 31, № 4, 1169-1183 ВН03.04.114 article Вернуться к поиску

Csima B., Downey R. G., Greenberg N., Hirschfeldt D. R., Miller J. S. [2006] Every 1-generic computes a propely 1-generic J. Symbolic Logic, 71, № 4, 1385-1393 ? article Вернуться к поиску

Ambos-Spies K., Hirschfeldt D.R., Shore R.A. [2000] Undecidability and 1-types in intervals of the c. e. degrees Ann. Pure Appl. Logic, 106, № 1, 1-47 ? S article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R. [2003] Computability-theoretical and proof-theoretical aspects of partial and linear orderings Israel J. Math., 138, 271-289 ? article Вернуться к поиску

Hirschfeldt D. R. [2002] Degree spectra of relations on computable structures in the presence of Δ 2 0 isomorphisms J. Symbolic Logic, 67, № 2, 697-720 05.05.111 article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Kach A.M., Lempp S., Mileti J.R., Montalban A. [2007] Subspaces of computable vector spaces J. Algebra, 314, 888-894 08.09.300 article Вернуться к поиску

Hirschfeldt D. R., Khoussainov B. M., Shore R. A. [2003] Computably categorical structure whose expansion by a constant has infinite computable dimension J. Symbolic Logic, 68, № 4, 1199-1241 05.05.107 article Вернуться к поиску

Hirschfeldt D. R., Khoussainov B. M., Shore R. A. Slinko A. [2002] Degree spectrs and computable dimension in algebraic structures Ann. Pure Appl. Logic, 115, № 1-3, 71-113 08.01.215 article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R. [2001] A Δ 2 0 set with no low subset in it or its complement J. Symbolic Logic, 66, № 3, 1371-1381 04.12.89 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 Вернуться к поиску

Hirschfeldt D. R., Terwijn S. [2008] Limit computability and constructive measure Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 131-142 ? article Вернуться ...

Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R . [2002] Reverse mathematics of the Nielsen-Schreier theorem Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu.Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 59-71 05.05.172 article Вернуться ...

Hirschfeldt D. R., Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S., Slaman T.A. [2008] The strength of some combinatorial principles related to Ramsey’s theorem for pairs Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes ...

... 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. Вернуться на главную страницу