Pages that link to "Ordinal analysis"

The following pages link to Ordinal analysis:

Displaying 30 items.

• Naive set theory (links)
• Gerhard Gentzen (links)
• Gödel's incompleteness theorems (links)
• History of logic (links)
• Hilbert's second problem (links)
• Proof theory (links)
• Reverse mathematics (links)
• Kripke–Platek set theory (links)
• William Alvin Howard (links)
• Second-order arithmetic (links)
• Kruskal's tree theorem (links)
• Epsilon number (links)
• Gentzen's consistency proof (links)
• Large countable ordinal (links)
• Constructive set theory (links)
• Computable ordinal (links)
• Ordinal notation (links)
• Bachmann–Howard ordinal (links)
• Grzegorczyk hierarchy (links)
• Proof-theoretic ordinal (redirect page) (links)
  • Mathematical logic (links)
  • PTO (links)
  • Giorgi Japaridze (links)
  • Kruskal's tree theorem (links)
  • Primitive recursive arithmetic (links)
  • Feferman–Schütte ordinal (links)
• Subcountability (links)
• Classical Hamiltonian quaternions (links)
• Proof theoretic ordinal (redirect page) (links)
  • Veblen function (links)
  • Talk:Morse–Kelley set theory (links)
• Proof-theoretic strength (redirect page) (links)
  • Ordinal arithmetic (links)
  • Second-order arithmetic (links)
  • Large countable ordinal (links)
  • Buchholz's ordinal (links)
• Kurt Schütte (links)
• Ordinal collapsing function (links)
• Shrewd cardinal (links)
• Buchholz's ordinal (links)
• Talk:Foundations of mathematics (links)
• Wiki143:WikiProject Mathematics/List of mathematics articles (O) (links)