Vol. 74, No. 2, 1978

Recent Issues
Vol. 329: 1
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
A solution for scattered order types of a problem of Hagendorf

Jean Ann Larson

Vol. 74 (1978), No. 2, 373–379

J. Hagendorf asked if every order type ϕ having the following two properties of additively indecomposable ordinals was the order type of an ordinal. Call ϕ Hagendorf if (i) it is strictly indecomposable to the right, i.e., if ϕ = ψ + 𝜃, then ϕ can be embedded in 𝜃 but not in ψ, and (ii) every strictly smaller type can be embedded in an initial segment of ϕ, i.e., if χ can be embedded in ϕ but not vice versa, then ϕ = ψ + 𝜃 where 𝜃0 and χ can be embedded in ψ. Recall that scattered order types are those which do not embed the order type of the rationals.

The paper provides a partial answer to Hagendorf’s question: Every scattered Hagendorf type is the order type of an indecomposable ordinal.

Other subclasses of order types for which this question seems particularly interesting are sub-types of the order type of the real numbers, and the class of countable unions of scattered types.

Mathematical Subject Classification 2000
Primary: 06A05
Received: 8 July 1977
Revised: 23 September 1977
Published: 1 February 1978
Jean Ann Larson