Various Strategy Elimination Procedures

Title: Various Strategy Elimination Procedures

Research Question: How can we determine which strategies are dominant in a game, and how can we efficiently eliminate strategies that are not?

Methodology: The authors used a combination of mathematical logic, game theory, and computer science to develop various strategies for eliminating strategies that are not dominant. They focused on both pure and mixed strategies, and they used Newman's Lemma and related results to prove order independence for various dominance relations.

Results: The authors provided uniform proofs of order independence for various strategy elimination procedures for finite strategic games. They showed that these proofs follow the same pattern and focus on the structural properties of the dominance relations. They also demonstrated that these proofs rely on Newman's Lemma and related results on abstract reduction systems.

Implications: The research has significant implications for the field of game theory. The uniform proofs of order independence provide a clear and efficient way to determine which strategies are dominant in a game. This can help game theorists and players to make better decisions and to eliminate strategies that are not likely to lead to the best outcomes. Additionally, the research has practical applications in various fields such as economics, computer science, and social science, where strategic games are commonly used to model situations involving competition and cooperation.

Link to Article: https://arxiv.org/abs/0403024v2 Authors: arXiv ID: 0403024v2