A note on the theory of well orders
<|reference_start|>A note on the theory of well orders: We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.<|reference_end|>
@article{jeřábek2024a,
    title={A note on the theory of well orders},
    author={Emil Jev{r}'abek},
    journal={arXiv preprint arXiv:2405.05779},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.05779},
    primaryClass={math.LO cs.LO}
}