Internal consistency and global co-stationarity of the ground model

DOI10.2178/jsl/1208359057zbMath1153.03033OpenAlexW1989176854MaRDI QIDQ3503752

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) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (4)

Inner models with large cardinal features usually obtained by forcing ⋮ Homogeneous iteration and measure one covering relative to HOD ⋮ Global co-stationarity of the ground model from a new countable length sequence ⋮ Perfect trees and elementary embeddings

Cites Work

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

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