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

DOI10.4064/FM-81-4-279-290MaRDI QIDQ4777289zbMATH OpenOpenAlexFDO

Authors Ronald Jensen, Havard Johnsbraten

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)

Cited in

(10)

• Construction of definable degrees of constructibility
• 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^ \#\)
• The full basis theorem does not imply analytic wellordering
• On the ‘definability of definable’ problem of Alfred Tarski, Part II
• Hedetniemi's conjecture for uncountable graphs
• Inner models from extended logics. I
• 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
• The power of trees

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777289)