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!
New to topics? Read the docs here!