I'm wondering if there's been any work done on prime factorizations of Omnific integers as products of prime Omnific integers.
I suspect that each Omnific integer has a unique prime factorization, and that this can be lifted from the fact that every ordinal has a unique decomposition into other prime ordinals with respect to Hessenberg multiplication (not recursive multiplication) -- I was just wondering if any work had been done on this subject that perhaps delved a bit deeper than this surface level observation.