Annals of Pure and Applied Logic
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers
Publication date: January 2024Source: Annals of Pure and Applied Logic, Volume 175, Issue 1, Part AAuthor(s): Ur Ya’ar