Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (Q1820156): Difference between revisions

First, a result of Prikry is proved, namely, if M is a countable, transitive model of \(ZFC+V=L\), then there is a generic extension which is a minimal model of \(''\omega^ L_ 1\) is countable''. In the second part this construction is modified to get a generic extension M[a], \(a\leq \omega\), with M[a] still a minimal model of \(''\omega^ L_ 1\) is countable'', and such that a is a \(\Pi^ 1_ 2\) singleton and all constructible reals are recursive in a.