Increasing and Continuous Ordinal Sequences
Grzegorz Bancerek · 1990
this paper. We follow the rules: p 1 , f 1 , p 2 are sequences of ordinal numbers and A, B, C are ordinal numbers. One can prove the following proposition (1) If dom f 1 = succ A; then last f 1 (as an ordinal) is the limit of f 1 and lim f 1 = last f 1 :