Projectively Well-Ordered Inner Models

  title={Projectively Well-Ordered Inner Models},
  author={John R. Steel},
  journal={Ann. Pure Appl. Logic},
We show that the reals in the minimal iterable inner model having n Woodin cardinals are precisely those which are A,‘+ 2 definable from some countable ordinal. (One direction here is due to Hugh Woodin.) It follows that this model satisfies “There is a A.‘+2 well-order of the reals”. We also describe some other connections between the descriptive set theory of projective sets and inner models with finitely many Woodin cardinals. 

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 23 extracted citations


Publications referenced by this paper.

Kechris , Measure and category m effective descriptive set theory

D. A. Martin Kechris, R. M. Solovay
Ann . Math . Logic • 1973

Similar Papers

Loading similar papers…