Интерпретации линейных порядков в арифметике Пресбургератезисы доклада