Modest theory of short chains. I
Yuri G. Gurevich · Journal of Symbolic Logic · 1979
Abstract This is the first part of a two part work on the monadic theory of short orders (embedding neither ω1 nor ω1*. This part provides the technical groundwork for decidability results. Other applications are possible.