On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608.
Перейти к публикации
| Авторы: Kanovei V. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции