arXiv Analytics

Sign in

arXiv:math/9210202 [math.LO]AbstractReferencesReviewsResources

The Complexity of the Core Model

William J. Mitchell

Published 1992-10-07Version 1

We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the complexity of the statement "(omega,E)$ is isomorphic to a member of the core model" is Delta^1_5.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/0002089 [math.LO] (Published 2000-02-11, updated 2001-04-06)
The core model for almost linear iterations
arXiv:math/0408144 [math.LO] (Published 2004-08-11, updated 2004-11-15)
Is Complexity a Source of Incompleteness?
arXiv:1208.4803 [math.LO] (Published 2012-08-23)
The size of a formula as a measure of complexity

Links

Toolbox