Generic saturation

DOI10.2307/2586594MaRDI QIDQ4391429zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 4 February 1999

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

Full work available at URL https://arxiv.org/abs/math/9609202

zbMATH Keywords

\(\alpha\)-Erdős cardinal\(\lambda_0,\lambda\)-periodic class forcingset-generic extensionSilver's indiscernibles

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: Assuming that ORD is $omega+omega$-Erd"os we show that if a class forcing amenable to $L$ (an $L$-forcing) has a generic then it has one definable in a set-generic extension of $$. In fact we may choose such a generic to be {it periodic} in the sense that it preserve the indiscernibility of a final segment of a periodic subclass of the Silver indiscernibles, and therefore to be {it almost codable} in the sense that it is definable from a real which is generic for an $L$-forcing (and which belongs to a set-generic extension of $$).

Recommendations

• Generic composition
• scientific article; zbMATH DE number 1956594
• Superficial saturation
• scientific article; zbMATH DE number 2100544
• Generic substitutions
• Lowness for genericity
• The generic condition is generic
• Hyperbolic saturation
• Generic separations

Cited in

(1)

• Generic composition

This page was built for publication: Generic saturation

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