Transfinitely valued Euclidean domains have arbitrary indecomposable order type

Chris J. Conidis, Pace P. Nielsen, Vandy Tombs

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm…