Solovay rank-comparison game
ID: solovay-rank-comparison-game
In the Solovay rank-comparison game, Players I and II produce ; ill-founded codes lose before ranks are compared, and among well-order codes the prescribed inequality between and decides the winner. No strategy for Player I can uniformly produce a well-order code at least as long as every code produced by Player II.
New to topics? Read the docs here!