Internal consistency and global co-stationarity of the ground model

DOI10.2178/JSL/1208359057MaRDI QIDQ3503752zbMATH OpenOpenAlexFDO

Authors Natasha Dobrinen, Sy-David Friedman

Publication date 9 June 2008

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

Full work available at URL https://doi.org/10.2178/jsl/1208359057

zbMATH Keywords

Woodin cardinalsuperstrong cardinal\(\omega_1\)-Erdös cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Co-stationarity of the ground model
• Internal Consistency and the Inner Model Hypothesis
• Forcing a mutual stationarity property in cofinality 𝜔₁
• Global co-stationarity of the ground model from a new countable length sequence
• The ground axiom

Cites work

• Internal Consistency and the Inner Model Hypothesis
• Löwenheim-Skolem and interpolation theorems in infinitary languages
• On the size of closed unbounded sets

Cited in

(7)

• Internal consistency for embedding complexity
• Condensation and large cardinals
• Perfect trees and elementary embeddings
• Inner models with large cardinal features usually obtained by forcing
• Global co-stationarity of the ground model from a new countable length sequence
• Homogeneous iteration and measure one covering relative to HOD
• Co-stationarity of the ground model

This page was built for publication: Internal consistency and global co-stationarity of the ground model

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