Skip to main content
3 of 3
deleted 6 characters in body
Denis Serre
  • 52.3k
  • 10
  • 146
  • 300

Proof theoretic ordinal

In Ordinal Analysis, Proof-theoretic Ordinal of a theory is thought as measure of a consistency strength and computational power.

Is it always the case? I. e. are there some general results about formal theories which say that if we know the ordinal measure of a formal theory then we know its consistency strength and computational power to some extent?

SNd
  • 161
  • 1
  • 4