RUS
ENG
Full version
PEOPLE
Gordeev L N
Publications in Math-Net.Ru
An approach to the constructivization of Cantor's set theory
Zap. Nauchn. Sem. LOMI
,
68
(1977),
38–50
A majorizing semantics for hyperarithmetic sentences
Zap. Nauchn. Sem. LOMI
,
68
(1977),
30–37
©
Steklov Math. Inst. of RAS
, 2024