RUS
ENG
Full version
PEOPLE
Baklanova Nadezhda Aleksandrovna
Publications in Math-Net.Ru
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
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
©
Steklov Math. Inst. of RAS
, 2026