Skip to main content
2 of 2
edited tags
Emil Jeřábek
  • 47.4k
  • 4
  • 150
  • 209

A question regarding an analogue of the Kleene $T$-predicate for Koepke's ordinal computability

Does Koepke's notion of ordinal computability admit an analogue of the Kleene $T$-predicate? If so, is the existence of such a $T$-predicate independent of $ZFC$? Also, if one assumes the existence of such a $T$-predicate, can an analogue of the Kleene hierarchy be defined for Koepke's ordinal computability, and can one define a set theory based on that analogue of the Kleene hierarchy rather than, say, the cumulative hierarchy?

Thomas Benjamin
  • 6.1k
  • 1
  • 25
  • 39