{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn the mathematical fields of set theory and proof theory, the **Takeuti–Feferman–Buchholz ordinal (TFBO)** is a large countable ordinal, which acts as the limit of the range of Buchholz's psi function and Feferman's theta function. It was named by David Madore, after Gaisi Takeuti, Solomon Feferman and Wilfried Buchholz. It is written as $\\psi_0(\\varepsilon_{\\Omega_\\omega + 1})$ using Buchholz's psi function, an ordinal collapsing function invented by Wilfried Buchholz, and $\\theta_{\\varepsilon_{\\Omega_\\omega + 1}}(0)$ in Feferman's theta function, an ordinal collapsing function invented by Solomon Feferman. It is the proof-theoretic ordinal of several formal theories:\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "TVJC8SV71P"
    ],
    "kind": "concept",
    "name": "Takeuti–Feferman–Buchholz ordinal",
    "same_as": {
      "wikidata": "Q108266145",
      "wikipedia": "Takeuti–Feferman–Buchholz ordinal"
    },
    "sources": [
      {
        "locator": "Takeuti–Feferman–Buchholz ordinal",
        "mention": "wikipedia://en/68444579",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:68444579@r1358903135"
      }
    ],
    "tag": "S5FTQGHVKC"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/S5FTQGHVKC/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/S5FTQGHVKC.md",
  "msc": null,
  "name": "Takeuti–Feferman–Buchholz ordinal",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/S5F/S5FTQGHVKC.md",
  "status": null,
  "tag": "S5FTQGHVKC",
  "uri": "m2://S5FTQGHVKC",
  "url": "https://math2.tamnd.com/wiki/takeuti-feferman-buchholz-ordinal/",
  "writing": {
    "tag": "S5FTQGHVKC",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}