Hagendorf Orders

Abstract

Call a linear order type $\phi$ Hagendorf if it shares two properties with additively indecomposable ordinal numbers without being one itself: $\phi$ is strictly indecomposable to the right and whenever $\psi <\phi$, then $\psi$ can be embedded into a proper initial segment of $\phi$. In the 1970s, J. Hagendorf asked whether such types exist. F. Galvin observed that they must be uncountable, and soon thereafter, J. Larson proved that they cannot be scattered. We provide a simplification of her argument that might give additional insight into the $\sigma$-scattered case. We then show that consistently Hagendorf types exist and that this holds in many models of set theory, for instance under $\mathsf{BA}$ or ${\mathsf{MA}}_{{\aleph }_1}$. In fact, their non-existence has large cardinal strength. Furthermore, we construct real Hagendorf types from $♢$ and from $\mathsf{PFA}$. This marks the first progress on this interesting problem since its description by Larson four dozen years ago.

arXiv comment21 pages