Countability of constructible omega-one ($\mathrm{NC}:|{\omega }_1^L|={\aleph }_0$)

This statement says that the first uncountable ordinal of an inner model $L$ is a countable ordinal in the ambient universe. It can hold together with the Generalized continuum hypothesis: start with constructibility and use a finite-function collapse to countable size on ${\omega }_1^L$. The GCH preservation by a finite-function collapse calculation gives the relative consistency result already from the consistency of ZFC.