On arithmetic complexity of certain constructive logicsстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 июля 2013 г.
Аннотация:A constructive arithmetical theory is an arbitrary set of closed arithmetical formulas that is closed with respect to derivability in an intuitionsitic arithmetic with the Markov principle and the formal Church thesis. For each arithmetical theory T there is a corresponding logic L(T) consisting of closed predicate formulas in which all arithmetic instances belong to T. For so-called internally enumerable constructive arithmetical theories with the property of existentiality, it is proved that the logic L(T) is ПТ1-complete. This implies, for example, that the logic of traditional constructivism is П20-complete.