arXiv:2406.18341 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords partially-elementary end extensions, countable model, denote kripke-platek set theory, weak set theory, collection scheme Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset