A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\)

DOI10.1007/BF02761499zbMath0404.03038MaRDI QIDQ1256454

René David

Publication date: 1978

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

ConsistencyConstructibilityGeneric Extension

Mathematics Subject Classification ID

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

Related Items (1)

Preserving levels of projective determinacy by tree forcings

Cites Work

• Unnamed Item
• Unnamed Item
• Long projective wellorderings
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• A Nonconstructible Δ 1 3 Set of Integers

This page was built for publication: A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\)