arXiv:2206.08283 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords constructible universe, intuitionistic kripke-platek set theory, power set axiom, fundamental operations, intuitionistic zermelo-fraenkel Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset