User blog comment:SuperSpruce/Can someone teach me how Rathjen’s OCF works?/@comment-35470197-20190723090522/@comment-35470197-20190727121042

For example, the sequences 0,1,2,3,4… and 0,2,4,6,8,… are distinct fundamental sequences of ω.