Axiom of projective determinacy
id:
axiom-of-projective-determinacy-308-13409247
title:
Axiom of projective determinacy
text:
In mathematical logic, projective determinacy is the special case of the axiom of determinacy applying only to projective sets. The axiom of projective determinacy, abbreviated PD, states that for any two-player infinite game of perfect information of length ω in which the players play natural numbers, if the victory set is projective, then one player or the other has a winning strategy. The axiom is not a theorem of ZFC, but unlike the full axiom of determinacy (AD), which contradicts the axiom
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Axiom_of_projective_determinacy
date created:
date modified:
2024-03-04T06:02:47Z
main entity:
{"identifier":"Q4830557","url":"https://www.wikidata.org/entity/Q4830557"}
image:
fields total:
13
integrity:
13