Model-theoretic cardinals exhibit definability properties orthogonal to arithmetical hierarchy, requ...
This proposition has not been edited since the history system was added.