Online publications of H. Ganchev
The jump operator on the ω-enumeration degrees, to appear in Annals of Pure and Applied Logic.
The groups Aut(D_e) and Aut(D_ω) are isomorphic, 6th Pan-Hellenic Logic Symposium, Volos, 2007. Exact pair theorem for the ω-enumeration degrees, Lecture Notes in Comp. Sci, v. 4497 (2007), Springer-Verlag, 316-324. A total degree spitting theorem and a jump inversion splitting theorem , 5th Pan-Hellenic Logic Symposium, Athens, 2005. A jump inversion theorem for the infinite enumeration jump, to appear in Ann. Univ. Sofia. |