Internal consistency and global co-stationarity of the ground model

DOI10.2178/JSL/1208359057zbMATH Open1153.03033OpenAlexW1989176854MaRDI QIDQ3503752FDOQ3503752

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

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

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)

Cites Work

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

Cited In (7)

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

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)