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