Is there a universal type space involving infinite players?
Countably infinite is easy to extend to, no obstacles. You can use results by Moss and Viglizzo (2006). I will also shamelessly promote my own work Universal type structures with unawareness that mathematically treats each of (possibly countably infinitely many) awareness levels as a player.