Thank you for the thorough answer! Can you comment on the case of extendible cardinals? I’m always nervous about those due to their high quantifier complexity.
↧