3
$\begingroup$

I am asked to prove that if I have two models of dense linear orders DLOs WITH the minimum and maximum. must be izomorpic to each other by fining direct izomorphy.

I seem to always get stuck because the desity i just cannot understand how to count them

im trying something like this: assuming $$M_1=\{a_1 ... a_2 ...\}$$ assuming $$M_1=\{b_1 ... b_2 ...\}$$

I choose $$a_i$$ but if I choose $$H(a_1)=b_i$$

how can I know its in the same order?

sorry for my bad english - translating from hebrew

2 Answers 2