Projectively well-ordered inner model
= Projectively well-ordered inner model
An <inner model> $M$ is projectively well-ordered when there is a <projective set>[projective] relation that well-orders the real numbers belonging to $M$.
= Projectively well-ordered inner model
An <inner model> $M$ is projectively well-ordered when there is a <projective set>[projective] relation that well-orders the real numbers belonging to $M$.