Outer models and genericity

DOI10.2178/JSL/1052669057MaRDI QIDQ3160547zbMATH OpenOpenAlexFDO

Authors M. C. Stanley

Publication date 9 February 2005

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

Full work available at URL https://projecteuclid.org/euclid.jsl/1052669057, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.9321

zbMATH Keywords

class forcingclass-treegenericityouter models

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) 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

• scientific article; zbMATH DE number 1302489
• Generic extensions of models of ZFC
• Cocovering and set forcing
• A non-generic real incompatible with \(0^\sharp\)
• Definability of satisfaction in outer models

Cites work

• A non-generic real incompatible with \(0^\sharp\)
• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3733900 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3387345 (Why is no real title available?)
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The genericity conjecture

Cited in

(7)

• Definability of satisfaction in outer models
• scientific article; zbMATH DE number 5872254 (Why is no real title available?)
• Definability of satisfaction in outer models
• scientific article; zbMATH DE number 1302489 (Why is no real title available?)
• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
• Cocovering and set forcing
• Forcing revisited

This page was built for publication: Outer models and genericity

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