|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The nonarithmeticity of the predicate logic of primitive recursive realizabilityстатья
- Автор: Plisko Valerii Egorovich
- Журнал: Izvestiya. Mathematics
- Том: 87
- Номер: 2
- Год издания: 2023
- Издательство: American Mathematical Society
- Местоположение издательства: United States
- Первая страница: 389
- Последняя страница: 418
- DOI: 10.4213/im9288e
- Аннотация: The notion of primitive recursive realizability was introduced by S. Salehi as a kind of semantics for the language of basic arithmetic using primitive recursive functions. It is of interest to study the corresponding predicate logic. D. A. Viter proved that the predicate logic of primitive recursive realizability by Salehi is not arithmetical. The technically complex proof combines the methods used by the author of this article in the study of predicate logics of constructive arithmetic theories and the results of M. Ardeshir on the translation of the intuitionistic predicate logic into the basic predicate logic. The purpose of this article is to present another proof of Viter's result by directly transferring the methods used earlier in proving the nonarithmeticity of the predicate logic of recursive realizability.
- Добавил в систему: Плиско Валерий Егорович