читаю на башорге

"привести пример неизоморфных моделей теории плотного линейного порядка без концов"
мне тут по-русски думать сложно, но переводится вроде в лоб достаточно осмысленно: nicht isomorphe Modellen [für die Axiome der] dichten unbeschränkten ("offenen" hört sich besser an) linearen Ordnung

Тогда примерно понятно: плотный линейный порядок без концов - это, например, вещественные числа. То есть числа полностью упорядочиваются (грубо говоря, их всегда можно отсортировать), порядок плотный (между любыми двумя неравными числами можно вставить другое число, знач плотный) и у такого порядка нет концов, т.к. не бывает максимального или минимального вещественного числа.
Неизоморфные модели - гм. Все конечные модели изоморфны, но уже же указано, что порядок открытый. Я бы сказал, что вещественные и рациональные числа - это две модели, которые не изоморфны (достаточно же, что их кардинальные числа отличаются, чтобы отмести изоморфность?) и удовлетворяют всем условиям задачи. Но меня все еще мучают сомнения, зачем в условии и изоморфность моделей и открытость порядка - одно из условий же можно опустить... Наверно что-то забыл уже...

Вот такие мысли посетили меня, когда я читал баш орг.

А правильный ответ оказался "хор кастратов". На плотный линейный порядок без концов, конечно потянет. Но как же из одного жалкого хора сделать пример нескольких моделей? Наверно, пора идти спать.