An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351.
Перейти к публикации
Авторы: Kanovei V. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025 Об институте | Контакты | Противодействие коррупции |