Uniform Proofs of Order Independence for Various Strategy Elimination Procedures
| dc.creator | Apt, Krzysztof R. | |
| dc.date | 2004-03-15 | |
| dc.date | 2004-09-28 | |
| dc.date.accessioned | 2026-07-07T03:21:01Z | |
| dc.date.available | 2026-07-07T03:21:01Z | |
| dc.description | We provide elementary and uniform proofs of order independence for various strategy elimination procedures for finite strategic games, both for dominance by pure and by mixed strategies. The proofs follow the same pattern and focus on the structural properties of the dominance relations. They rely on Newman's Lemma established in 1942 and related results on the abstract reduction systems. | |
| dc.description | 48 pages | |
| dc.identifier | https://arxiv.org/abs/cs/0403024 | |
| dc.identifier | http://arxiv.org/abs/cs/0403024 | |
| dc.identifier | Contributions to Theoretical Economics, Vol. 4: No. 1, Article 5, 2004, http://www.bepress.com/bejte/contributions/vol4/iss1/art5 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32042 | |
| dc.subject | Computer Science and Game Theory | |
| dc.subject | Logic in Computer Science | |
| dc.subject | J.4 | |
| dc.title | Uniform Proofs of Order Independence for Various Strategy Elimination Procedures | |
| dc.type | text |