RUS
ENG
Full version
PEOPLE
Yakubovich A M
Publications in Math-Net.Ru
On the consistency of the theory of types with the axiom of choice relative to the theory of types
Dokl. Akad. Nauk SSSR
,
261
:4 (1981),
825–828
Variants of the axiom of choice in the simple theory of types
Mat. Zametki
,
30
:2 (1981),
269–276
Error and test signal identification in self-correcting data acquisition systems with a testing instrument
Avtomat. i Telemekh.
, 1978, no. 11,
88–101
©
Steklov Math. Inst. of RAS
, 2024