A very absolute Π21 real singleton

DOI10.1016/0003-4843(82)90001-8zbMath0519.03038OpenAlexW1968028078MaRDI QIDQ3669400

René David

Publication date: 1982

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(82)90001-8

zbMATH Keywords

constructibilityO sharpclass generic extension of L

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (8)

Some results on higher Suslin trees ⋮ Forcing the Σ31-separation property ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization ⋮ Cardinal characteristics and projective wellorders ⋮ Projective wellorders and mad families with large continuum ⋮ INNER MODEL THEORETIC GEOLOGY ⋮ A functorial \(\pi ^ 1_ 2\) singleton ⋮ A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)

This page was built for publication: A very absolute Π21 real singleton