{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "Z8XMCCZFA4"
    }
  ],
  "body": "\n## Summary\n\nMartin's axiom, MA, is about partial orders with the countable chain condition.\nIt says that one filter can meet any fewer than continuum many dense sets of such an order.\nIt is a statement about [[forcing|F2DTWW9HP7]] that can be used without forcing, and the [[precise definition|Z8XMCCZFA4]] is given separately.\nIt follows from the [[continuum hypothesis|0MN2MER9WN]], but it is also consistent with its failure.\nIn that case it decides many questions that ZFC leaves open, for instance [[Suslin's problem|D1T39KHPDN]].\n\n## Explanations\n\n### L1 human\n\nMany constructions in mathematics build an object step by step, meeting countably many requirements one after another.\nThe Baire category theorem says that such constructions work when there are countably many requirements.\nMartin's axiom says they still work with more requirements, as long as there are fewer than the number of real numbers and the steps satisfy a mild compatibility condition.\nFor example, it implies that the union of fewer than continuum many meagre subsets of the real line is meagre.\n",
  "commit": "efe85cee8dbc57d85bedbacfb97b99d1b7bee843",
  "front": {
    "kind": "concept",
    "msc": [
      "03E50",
      "03E57"
    ],
    "name": "Martin's axiom",
    "same_as": {
      "wikidata": "Q622185",
      "wikipedia": "Martin's axiom"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Martin's_axiom"
      }
    ],
    "tag": "V8KGT8MRFE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/V8KGT8MRFE/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/V8KGT8MRFE.md",
  "msc": [
    "03E50",
    "03E57"
  ],
  "name": "Martin's axiom",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/V8K/V8KGT8MRFE.md",
  "status": null,
  "tag": "V8KGT8MRFE",
  "uri": "m2://V8KGT8MRFE",
  "url": "https://math2.tamnd.com/wiki/martins-axiom/",
  "writing": {
    "tag": "V8KGT8MRFE",
    "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
      }
    ]
  }
}