Definable normal measures

DOI10.1016/J.APAL.2014.09.001zbMath1341.03072OpenAlexW1976435022MaRDI QIDQ466448

Liuzhen Wu, Sy-David Friedman

Publication date: 27 October 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.09.001

zbMATH Keywords

measuresforcingdefinabilitycore models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Cites Work

• Unnamed Item
• Fusion and large cardinal preservation
• A definable failure of the singular cardinal hypothesis
• Condensation and large cardinals
• A quasi-lower bound on the consistency strength of PFA
• The number of normal measures
• The consistency strength of the tree property at the double successor of a measurable cardina
• Perfect trees and elementary embeddings
• On iterated forcing for successors of regular cardinals
• Inner models and large cardinals

This page was built for publication: Definable normal measures