Search results

Herrmann E. [2001] r-Maximal sets Seminarb., Humboldt-Univ., Sek. Math., Berl , № 17, 1–60 05.09.91 article Вернуться к поиску

Herrmann E. [1979] The lattice structure of the recursively enumerable sets Math. Res., 2, 175-181 80.08.29 article Вернуться к поиску

Herrmann E. [1986] The index set { e / W e ≡ 1 X } J. Symbolic Logic, 51, № 1, 110-116 86.10.51 OS article Вернуться к поиску

Herrmann E. [1992] 1-reducibility inside an m -degree with a maximal set J. Symbolic Logic, 57, № 3, 1046-1056 93.04.52 article Вернуться к поиску

Herrmann E., Kummer M. [1994] Diagonals and D -maximal sets J. Symbolic Logic, 59, № 1, 60-72 95.07.49 article Вернуться к поиску

Cholak P., Downey R. G., Herrmann E. [2001] Some orbits for E Ann. Pure Appl. Logic, 107, № 1-3, 193-226 ? article Вернуться к поиску

Herrmann E. [1986] Extended lattices and Boolean pairs Seminarb., Humboldt-Univ., Sek. Math., Berl , № 70, 115-133 86.03.358 article Вернуться к поиску

Herrmann E. [2001] Infinite chains and antichains in computable partial orderings J. Symbolic Logic, 66, № 2, 923-934 02.03.253 article Вернуться к поиску

Herrmann E. [1984] Definable structure in the lattice of recursively enumerable sets J. Symbolic Logic, 49, № 4, 1190-1197 85.08.59 S article Вернуться к поиску

Herrmann E. [1981] Der Verbandseigenschaften der Rekursiv aufzählbaren Mengen Seminarb., Humboldt-Univ., Sek. Math., Berl , № 36, IV, 275 82.04.76 S article Вернуться к поиску

Herrmann E. [1978] Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem) Seminarb., Humboldt-Univ., Sek. Math., Berl , № 10, 304 79.07.75 S article Вернуться к поиску

Herrmann E. [1983] Orbits of hyperhypersimple sets and the lattice of sets J. Symbolic Logic, 48, № 3, 693-699 84.05.73 OS article Вернуться к поиску

Herrmann E. [2003] Finite end intervals in definable quotiens Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 197-214 ? article Вернуться к поиску

Herrmann E. [1983] Definable Boolean pairs in the lattice of recursively enumerable sets Seminarb., Humboldt-Univ., Sek. Math., Berl , № 49, 42-67 84.02.46 S article Вернуться к поиску

Herrmann E. [1984] Classes of simple sets, filter properties and their mutual position Seminarb., Humboldt-Univ., Sek. Math., Berl , № 60, 60-72 85.06.35 S article Вернуться к поиску

Herrmann E. [1986] Automorphisms of the lattice of recursively enumerable sets and hyperhypersimple sets Seminarb., Humboldt-Univ., Sek. Math., Berl , № 86, 69-108 87.06.52 article Вернуться к поиску

Herrmann E. [1977] A note on no hh -simple recursively enumerable sets Bull. Acad. Polon. sci., Ser. math., astron. et phys., 25, № 4 , 333-336 78.01.45 article Вернуться к поиску

Herrmann E. [1984] The undecidability of the elementary theory of the lattice of recursively enumerable sets Frege Conf., Math. Res., 20, 66-72 85.08.60 OS article Вернуться к поиску

Herrmann E. [1996] On the ∀∃-theory of the factor lattice by the major subset relation London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 139-166 ? O article Вернуться к поиску

Cholak P., Coles R. J., Downey R. G. , Herrmann E. [2001] Automorphisms of the lattice of Π 1 0 classes; perfect thin classes and anc degrees Trans. Amer. Math. Soc., 353, № 12, 4899-4924 05.09.87 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. 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....