A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) (Q1315458): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3921212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A very absolute Π21 real singleton / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aspects of constructibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731594 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Π 1 2 -Singleton Conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3852172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5656764 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new construction of non-constructible ${Δ^1}_3$ subset of ω / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5626664 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $Π^1_2$ singletons and $O^#$ / rank | |||
Normal rank |
Latest revision as of 13:19, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) |
scientific article |
Statements
A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) (English)
0 references
10 March 1994
0 references
It is shown that there is a \(\Pi_ 2^ 1\) formula \(\Phi\) of second- order number theory such that if at most one real can satisfy \(\Phi\) in any model of ZF, if \(V=L\), then no real satisfies it, and it is consistent that some \(b\) satisfies it and \(L\) and \(L[b]\) have the same cardinals. The latter consistency is via a class forcing over the minimal model of ZF. The result is motivated by Solovay's conjecture on \(\Pi_ 2^ 1\) reals.
0 references
0 sharp
0 references
consistency
0 references
class forcing
0 references
Solovay's conjecture
0 references
\(\Pi_ 2^ 1\) reals
0 references