RUS
ENG
Full version
PEOPLE
Avdeev Roman Ruslanovich
Publications in Math-Net.Ru
A computable structure with non-standard computability
Mat. Tr.
,
21
:2 (2018),
3–60
A computable structure with nonstandard computability
Algebra Logika
,
56
:5 (2017),
636–638
On the admissible sets of type
$\mathbb{HYP}(\mathfrak M)$
over recursively saturated models
Sibirsk. Mat. Zh.
,
52
:6 (2011),
1199–1220
©
Steklov Math. Inst. of RAS
, 2026