Reverse mathematics is a framework for analysing the minimal axioms required to prove mathematical theorems by working within subsystems of second-order arithmetic. Its central concern is to establish ...
Combinatorial game theory examines two‐player games with perfect information, no chance elements and an eventual termination. Moves are made alternately on well‐defined positions, often modelled by ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results