The Complexity of the Core Model
arXiv:math/9210202
Abstract
We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E) is isomorphic to a member of the core model" is Delta^1_5.
arXiv:math/9210202
We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E) is isomorphic to a member of the core model" is Delta^1_5.