{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "C5MA8PA2Q5"
    }
  ],
  "body": "\n## Summary\n\nProjective determinacy, written PD, says that every game of natural numbers whose payoff set is a projective set is [[determined|QXECDPAYTN]].\nUnlike the [[axiom of determinacy|PEXTM3MJ5Z]], it is consistent with the axiom of choice, and it is often added to ZFC.\nDonald A. Martin and John R. Steel proved that PD follows from the existence of infinitely many [[Woodin cardinals|CMC2C1D53W]].\nUnder PD, all projective sets of reals are Lebesgue measurable, have the [[Baire property|FZ7237VY65]] and have the [[perfect set property|H47ZGRR13V]].\n\n## Explanations\n\n### L1 human\n\nProjective sets are the sets of reals one gets from Borel sets by taking continuous images and complements, again and again, finitely many times.\nThey include almost every set of reals that arises in ordinary analysis.\nPD says that infinite games with such a payoff set always have a winning strategy for one player.\nMany set theorists regard PD as the natural extension of ZFC for questions about projective sets, because it settles most of them.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03E60",
      "03E15",
      "03E55"
    ],
    "name": "Projective determinacy",
    "same_as": {
      "wikidata": "Q4830557",
      "wikipedia": "Projective determinacy"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Projective_determinacy"
      }
    ],
    "tag": "2GY3131ZPS"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/2GY3131ZPS/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/2GY3131ZPS.md",
  "msc": [
    "03E60",
    "03E15",
    "03E55"
  ],
  "name": "Projective determinacy",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/2GY/2GY3131ZPS.md",
  "status": null,
  "tag": "2GY3131ZPS",
  "uri": "m2://2GY3131ZPS",
  "url": "https://math2.tamnd.com/wiki/projective-determinacy/",
  "writing": {
    "tag": "2GY3131ZPS",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}