N. A. Baklanova, “Undecidability of Elementary Theories of Rogers Semilattices on Limit Levels of Hyperarithmetical Hierarchy”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:4 (2011), 3–7
N. A. Baklanova, “Minimal Elements and Minimal Covers in Rogers Semilattice of Computable Numberings in Hyperarithmetical Hierarchy”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:3 (2011), 77–84
Contact us: