Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Notes"
DOI: 10.1134/s0001434618030057
Abstract: The Zermelo–Fraenkel set theory with the underlying intuitionistic logic (for brevity, we refer to it as the intuitionistic Zermelo–Fraenkel set theory) in a two-sorted language (where the sort 0 is assigned to numbers and the… read more here.
Keywords: set theory; principle; partial conservativeness; class ... See more keywords