Power Σ₁ in Card with two Woodin cardinals

2025/05/08 by Schlutzenberg, Farmer
#03E45 #03E55 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2505.05243

Abstract

Väänänen and Welch asked in the paper "When cardinals determine the power set: inner models and Härtig quantifier logic" which large cardinals are consistent with the power set operation x↦ P(x) being Σ₁-definable in the predicate Card of all cardinals. We show that, relative to large cardinals, this property is consistent with the existence of two Woodin cardinals.

Related

• When cardinals determine the power set: inner models and Härtig quantifier logic
• Cardinal arithmetic and Woodin cardinals
• Model Theoretic Characterizations of Large Cardinals Revisited
• A synthetic overview on some known characterizations of Woodin cardinals
• Model-theoretic characterizations of large cardinals (Re)²visited