О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ

Jazyk:	ruština
Rok vydání:	2014
Předmět:	510.652 Формальная арифметика. Формальная теория чисел
Popis:	Мы продолжаем рассматривать вопрос о разрешимости обогащений разрешимых арифметических теорий оператором транзитивного замыкания. В данной работе рассматривается вопрос о разрешимости арифметики Пресбургера и арифметики Сколема с оператором транзитивного замыкания. Показано, что данные теории являются неразрешимыми, если допускать оператор транзитивного замыкания по одной паре переменных
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=httpsopenrep::e5da03d0690297c9498cc31e6bd5073a https://openrepository.ru/article?id=773044 Zobrazit plný text záznamu