$M$-арифметики и их модели

В этой статье, уточняя и определяя некоторые из введенных в предыдущих наших работах (см. список литературы) понятий, связанных с $M$-арифметиками, рассматриваем следующие три из $M$-арифметик: абсолютную арифметику, классическую арифметику Пеано и слабую арифметику Пеано. Исследуем модели (квазиарифметики) слабой арифметики Пеано и доказываем (основная теорема), что каждая квазиарифметика представима в виде объединения двух частей, из которых первая есть модель арифметики Пеано, а другая получается из первой определенным естественным преобразованием.