Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ |
| Στοιχεία εκδότη: |
Тверской госуниверситет, 2014. |
| Έτος έκδοσης: |
2014 |
| Θεματικοί όροι: |
510.652 Формальная арифметика. Формальная теория чисел |
| Περιγραφή: |
Мы продолжаем рассматривать вопрос о разрешимости обогащений разрешимых арифметических теорий оператором транзитивного замыкания. В данной работе рассматривается вопрос о разрешимости арифметики Пресбургера и арифметики Сколема с оператором транзитивного замыкания. Показано, что данные теории являются неразрешимыми, если допускать оператор транзитивного замыкания по одной паре переменных |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
Russian |
| Σύνδεσμος πρόσβασης: |
https://openrepository.ru/article?id=438392 |
| Αριθμός Καταχώρησης: |
edsair.httpsopenrep..40046028028523802b716f2f9382bfd4 |
| Βάση Δεδομένων: |
OpenAIRE |