A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\)
type: Item
instance of: scholarly article
title: A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\)
zbMATH Open document ID: 0404.03038
DOI: 10.1007/BF02761499
published in: Israel Journal of Mathematics
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E45
zbMATH DE Number: 3627160
zbMATH Keywords: Consistency
zbMATH Keywords: Generic Extension
zbMATH Keywords: Constructibility
author: René David
MaRDI profile type: Publication
cites work: Long projective wellorderings
cites work: Q5656764
cites work: A new construction of non-constructible ${Δ^1}_3$ subset of ω
cites work: Q5626664
cites work: A Nonconstructible Δ 1 3 Set of Integers
description: scientific article; zbMATH DE number 3627160