Väänänen, Jouko; Welch, Philip D. When cardinals determine the power set: inner models and Härtig quantifier logic. (English) Zbl 07782436 Math. Log. Q. 69, No. 4, 460-471 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Friedman, Sy-David; Gitman, Victoria; Müller, Sandra Structural properties of the stable core. (English) Zbl 07735940 J. Symb. Log. 88, No. 3, 889-918 (2023). MSC: 03E45 03E47 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License