Here's another (seemingly finite) problem being analyzed with the same "Nim but with ordinal numbers" approach: https://codeforces.com/blog/entry/85984