| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
|
|||
|
|
|||
|
О существенности параметров в схеме аксиом свертки в арифметике второго порядка В. Г. Кановей |
|||
|
Аннотация: Построена модель арифметики второго порядка, в которой аксиома свертки верна в беспараметрическом варианте но не верна в полном варианте с параметрами. |
|||