scientific article; zbMATH DE number 5038466

zbMATH Open1105.03059MaRDI QIDQ5477362FDOQ5477362

Authors: Pavel Pudlák 

Publication date: 3 July 2006

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1999233
• The consistency principle for games in strategic form
• scientific article; zbMATH DE number 3910184
• On consistent solutions for strategic games
• scientific article; zbMATH DE number 2212587
• Recent results and questions in combinatorial game complexities
• Persistence, randomization and parallelization: On some combinatorial games and their applications (abstract)
• Tarski's fixpoint lemma and combinatorial games
• A Survey of Consistency Properties in Cooperative Game Theory
• Publication:4863330

zbMATH Keywords

bounded arithmeticproof complexitytwo-player game

Mathematics Subject Classification ID

Applications of game theory (91A80) 2-person games (91A05) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Cited In (6)

• Title not available (Why is that?)
• A Characterisation of Definable NP Search Problems in Peano Arithmetic
• Parallel strategies
• Converse consistent enlargements of the unit-level-core of the multi-choice games
• Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
• Unprovability of strong complexity lower bounds in bounded arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477362)