| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | aefa16cadf7646478a589b2f53547200 | ||
| 005 | Дата корректировки | 20220224160806.8 | ||
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 097 | b | Оператор | Komarova.ES | |
| 100 | 1_ | a | Автор | Запрягаев Александр Александрович |
| q | Полное имя | Запрягаев А. А. | ||
| 245 | 10 | a | Заглавие | Интерпретации в арифметиках Бюхи |
| 260 | a | Место издания | Тверь | |
| b | Издательство | Тверской государственный университет | ||
| 504 | a | Библиография | Библиогр.: с. 160 (2 назв.) | |
| 520 | 0_ | a | Аннотация | Арифметиками Бюхи называются расширения арифметики Пресбургера дополнительным предикатом, зависящим от натурального параметра , служащие для формализации принятия множеств натуральных чисел, представленных в p-ичной системе счисления, конечными автоматами. В настоящей работе рассматриваются многомерные интерпретации арифметик Бюхи в себе и друг в друге для различных значений. Поднимается вопрос об отсутствии иных интерпретаций арифметик Бюхи в собственных стандартных моделях, кроме определимо изоморфных тождественной. Из утвердительного ответа на указанный вопрос следует выполнение для арифметик Бюхи гипотезы Виссера, являющейся аналогом рефлексивности для слабых арифметических теорий. Устанавливается невозможность интерпретации в арифметиках Бюхи плотного порядка, откуда следует изоморфностью всякой интерпретации такого вида тождественной (не обязательно изоморфная). Также описываются интерпретации между арифметиками Бюхи для различных значений параметра. |
| 653 | 0_ | a | Ключевые слова | Изоморфная |
| a | Ключевые слова | Арифметика | ||
| a | Ключевые слова | Натуральные числа | ||
| a | Ключевые слова | Высшая школа экономики | ||
| a | Ключевые слова | Формальные арифметики | ||
| a | Ключевые слова | Арифметики Бюхи | ||
| 773 | 18 | w | Контрольный № источника | f93cd7c2cffb4b90a02951ff508e955d |
| t | Название источника | Математические основы информатики и информационно-коммуникационных систем" | ||
| d | Место и дата издания | Тверь : Тверской государственный университет, 2021 | ||
| g | Прочая информация | С. 156-161 | ||
| 856 | 40 | u | URL | http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455318 |
| u | URL | http://texts.lib.tversu.ru/texts/151511t.pdf | ||
| x | Примечание для ЭОР | Справка УИС 2021 | ||
| x | Примечание для ЭОР | Реестр суммарного учета сетевых локальных документов | ||
| i | Дата подключения ЭОР | 20211224 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Кома | |
| 954 | b | Дата поступления в ОК | 20211222 |