A new construction of non-constructible ${Δ^1}_3$ subset of ω

DOI10.4064/fm-81-4-279-290zbMath0289.02048OpenAlexW1193762955MaRDI QIDQ4777289

Havard Johnsbraten, R. B. Jensen

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214645

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Related Items (9)

On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ The full basis theorem does not imply analytic wellordering ⋮ A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings ⋮ Construction of definable degrees of constructibility ⋮ Inner models from extended logics: Part 1 ⋮ Hedetniemi's conjecture for uncountable graphs ⋮ A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) ⋮ A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) ⋮ A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\)

This page was built for publication: A new construction of non-constructible ${Δ^1}_3$ subset of ω