Strong coding (Q1096623): 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: Aspects of constructibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3718702 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uncountable Admissibles I: Forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The fine structure of the constructible hierarchy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3323938 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplified morasses with linear limits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The α-finite injury method / rank | |||
Normal rank |
Latest revision as of 13:56, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong coding |
scientific article |
Statements
Strong coding (English)
0 references
1987
0 references
Strong coding is a substantial refinement of the method of Jensen of coding the universe by a real [\textit{R. Jensen}, Coding the universe, handwritten notes (1975), presented also in \textit{A. Beller, R. Jensen} and \textit{P. Welch}, Coding the universe (1982; Zbl 0468.03031)]. It provides an affirmative solution to a problem of Solovay related to Jensen's coding and recursively inaccessible ordinals. The main theorem of the paper states that it is consistent with the axioms of Zermelo-Fraenkel set theory (ZF) that there is a real \(R\subseteq \omega\) such that the class of all R-admissible oridinals equals the class of all recursively inaccessible ordinals. The proof is based on a class forcing argument. A certain class A of ordinals is coded by a real R in such a way that the decoding of \(A\cap \alpha\) from R can be carried out in \(L_{\alpha}[R]\) for every admissible \(\alpha\). Variants of the construction can be used to realize other admissibility spectra by a class-generic real. More precisely, if \(B\subseteq ORD\) and for all p.r. closed \(\beta\), \(B\cap \beta\) is \(\Delta_ 1(L_{\beta})\) uniformly, then CON(ZF)\(\to CON(ZF\) \(+\exists R\subseteq \omega\) (R- admissibles \(=\) Admissible limits of B). [See also the paper reviewed below (Zbl 0634.03049).]
0 references
inaccessible ordinals
0 references
class forcing
0 references
class-generic real
0 references