- #1
- 10
- 0
How would you show that for every countable order, there is an order embedding function
f: (A,<) -> (Q,<) ?
Is this similar to the proof of the w-categoricity of the Theory of Dense Linear Orders?
f: (A,<) -> (Q,<) ?
Is this similar to the proof of the w-categoricity of the Theory of Dense Linear Orders?