arXiv:2009.03348 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords stationary logic, strong downward löwenheim-skolem theorems, weak second-order parameters, generic large cardinals implies, supercompact cardinal Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset