The independence of

DOI10.2307/2586769MaRDI QIDQ4254640zbMATH OpenOpenAlexFDO

Authors Amir Leshem, Menachem Magidor

Publication date 11 October 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586769

zbMATH Keywords

class forcingdefinable well-orderingset forcingsupremum of order types

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• \(\Sigma_1\)-wellorders without collapsing
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• Δ₁-Definability of the non-stationary ideal at successor cardinals

Cites work

• Descriptive set theory
• scientific article; zbMATH DE number 3733900 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)

Cited in

(3)

• \(\Delta_ 1\)-definability
• Independence of \(\ell\) in Lafforgue's theorem.
• Differential independence of \(\Gamma\) and \(\zeta\)

This page was built for publication: The independence of

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