Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic.
J. Symbolic Logic, 1995, 60, 1, pp. 318--324.
Перейти к публикации
Авторы: Kanovei V. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025 Об институте | Контакты | Противодействие коррупции |