Publication:5477362
From MaRDI portal
zbMath1105.03059MaRDI QIDQ5477362
Publication date: 3 July 2006
91A05: 2-person games
91A80: Applications of game theory
03F30: First-order arithmetic and fragments
03F20: Complexity of proofs
Related Items
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem, A Characterisation of Definable NP Search Problems in Peano Arithmetic