Аннотация:
Доказывается взаимная интерпретируемость друг в друге элементарной теории шкалы потенциалов вычислимости всех конечных алгебр и элементарной теории арифметики.
Ключевые слова:шкала потенциалов вычислимости всех конечных алгебр, элементарная теория арифметики.
Полный текст:
PDF файл (178 kB)