About the coexistence of “classical sets” with “non-classical” ones: A survey
Roland Hinnion · Logic and Logical Philosophy · 2003
This is a survey of some possible extensions of ZF to a larger universe, closer to the “naive set theory” (the universes discussed here concern, roughly speaking : stratified sets, partial sets, positive sets, paradoxical sets and double sets).