Outer models and genericity

DOI10.2178/jsl/1052669057zbMath1071.03037OpenAlexW2106140167MaRDI QIDQ3160547

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

zbMATH Keywords

genericityclass forcingouter modelsclass-tree

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40) Set-theoretic model theory (03C55)

Related Items (2)

Forcing revisited ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• A non-generic real incompatible with \(0^\sharp\)
• The genericity conjecture

This page was built for publication: Outer models and genericity