Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (Q1820156): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0001-8708(85)90005-2 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1966278898 / rank | |||
Normal rank | |||
Revision as of 18:32, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals |
scientific article |
Statements
Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (English)
0 references
1985
0 references
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.
0 references
minimal collapse
0 references
minimal model
0 references
generic extension
0 references
