The Theory of Sets of Ordinals
classification
🧮 math.LO
keywords
theoryordinalsnaturalsetsaxiomatizingclassconstructibilitycorresponds
read the original abstract
We propose a natural theory SO axiomatizing the class of sets of ordinals in a model of ZFC set theory. Both theories possess equal logical strength. Constructibility theory in SO corresponds to a natural recursion theory on ordinals.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.