Game trees for infinitary logic can be non-wellfounded, making traditional game-theoretic determinac...
This proposition has not been edited since the history system was added.