- #1

- 10

- 0

## Main Question or Discussion Point

How would you show that for every countable order, there is an order embedding function

f: (A,<) -> (Q,<) ?

Is this similiar to the proof of the w-categoricity of the Theory of Dense Linear Orders?

f: (A,<) -> (Q,<) ?

Is this similiar to the proof of the w-categoricity of the Theory of Dense Linear Orders?