Paris model
= Paris model
{c}
A Paris model of a complete extension $T$ of <ZFC> is a set model $M\models T$ in which every internal <ordinal> is a <definable element of a first-order structure> without parameters.
= Paris model
{c}
A Paris model of a complete extension $T$ of <ZFC> is a set model $M\models T$ in which every internal <ordinal> is a <definable element of a first-order structure> without parameters.