Projectively well-ordered inner model

ID: projectively-well-ordered-inner-model

An inner model is projectively well-ordered when there is a projective relation that well-orders the real numbers belonging to .

New to topics? Read the docs here!