Skip to main content
3 of 8
added a bullet point
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

Previous MO questions:

M.SE:

TCS.SE:

  • "one of the most amazing facts about logic is that consistency strength boils down to the question "what is the fastest-growing function you can prove total in this logic?" As a result, the consistency of many classes of logics can be linearly ordered! If you have an ordinal notation capable of describing the fastest growing functions your two logics can show total, then you know by trichotomy that either one can prove the consistency of the other, or they are equiconsistent." http://cstheory.stackexchange.com/questions/4816/axioms-necessary-for-theoretical-computer-science/4821

A frequently cited paper: "A trichotomy theorem in natural models of AD+", in "Set Theory and Its Applications", Contemporary Mathematics, vol. 533, Amer. Math. Soc., Providence, RI, 2011, pp. 227-258.
user30304
  • 281
  • 3
  • 12