О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ
Uloženo v:
| Název: | О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ |
|---|---|
| Informace o vydavateli: | Тверской госуниверситет, 2014. |
| Rok vydání: | 2014 |
| Témata: | 510.652 Формальная арифметика. Формальная теория чисел |
| Popis: | Мы продолжаем рассматривать вопрос о разрешимости обогащений разрешимых арифметических теорий оператором транзитивного замыкания. В данной работе рассматривается вопрос о разрешимости арифметики Пресбургера и арифметики Сколема с оператором транзитивного замыкания. Показано, что данные теории являются неразрешимыми, если допускать оператор транзитивного замыкания по одной паре переменных |
| Druh dokumentu: | Article |
| Popis souboru: | application/pdf |
| Jazyk: | Russian |
| Přístupová URL adresa: | https://openrepository.ru/article?id=438392 |
| Přístupové číslo: | edsair.httpsopenrep..40046028028523802b716f2f9382bfd4 |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!