{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Description\n\nA *Suslin line* is a nonempty [[totally ordered set|0316AYH1SC]] $(L, \u003c)$ with these properties.\n\n1. $L$ has no least element and no greatest element.\n2. The order is [[dense|JB9HJ9CPEN]].\n3. The order is complete: each nonempty subset of $L$ that is bounded above has a least upper bound.\n4. Each family of pairwise disjoint nonempty open intervals of $L$ is countable.\n5. $L$ is not [[separable|0GKJ78948V]]: no countable subset of $L$ meets every nonempty open interval.\n\n## Remarks\n\nThe real line satisfies clauses 1 to 4 but not clause 5, so $\\R$ is not a Suslin line.\nIn fact, a total order with clauses 1 to 3 and separability is order isomorphic to $\\R$.\nSo a Suslin line is exactly a counterexample to [[Suslin's problem|D1T39KHPDN]].\nThe existence of a Suslin line is independent of ZFC, if ZFC is consistent.\nThe [[diamond principle|HFQSSB1Z23]] implies that a Suslin line exists.\n[[Martin's axiom|Z8XMCCZFA4]] together with the failure of the continuum hypothesis implies that no Suslin line exists.\nA Suslin line exists if and only if a Suslin tree exists.\n\n## Explanations\n\n### L1 human\n\nA Suslin line would be a line that looks almost exactly like the real line, but is not the real line.\nIt has no ends and no gaps, and one can only fit countably many disjoint intervals into it.\nYet it has no countable set of points that is spread through all of it, as the rationals are spread through the reals.\nWhether such a line exists cannot be decided from the usual axioms of set theory.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "0FRXBVVR03"
    ],
    "kind": "object",
    "msc": [
      "03E50",
      "06A05",
      "03E35"
    ],
    "name": "Suslin line",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Suslin%27s_problem"
      }
    ],
    "tag": "MEKFR4Q617",
    "uses": [
      "0316AYH1SC",
      "JB9HJ9CPEN",
      "0GKJ78948V",
      "D1T39KHPDN"
    ]
  },
  "kind": "object",
  "link": "https://tamnd.github.io/math2/node/MEKFR4Q617/",
  "links": [
    {
      "field": "instance_of",
      "target": "0FRXBVVR03"
    },
    {
      "field": "uses",
      "target": "0316AYH1SC"
    },
    {
      "field": "uses",
      "target": "JB9HJ9CPEN"
    },
    {
      "field": "uses",
      "target": "0GKJ78948V"
    },
    {
      "field": "uses",
      "target": "D1T39KHPDN"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MEKFR4Q617.md",
  "msc": [
    "03E50",
    "06A05",
    "03E35"
  ],
  "name": "Suslin line",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MEK/MEKFR4Q617.md",
  "status": null,
  "tag": "MEKFR4Q617",
  "uri": "m2://MEKFR4Q617",
  "url": "https://tamnd.github.io/math2/wiki/suslin-line/",
  "writing": {
    "tag": "MEKFR4Q617",
    "kind": "object",
    "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
      },
      {
        "what": "field same_as",
        "note": "the identifiers in the databases",
        "have": 0,
        "want": 1
      }
    ]
  }
}