Innitarily Denable Non-Well-Founded Sets
Roger Bishop Jones · 2012
This paper is my second approach to set theory conceived as a maximal consistent theory of set comprehension. The principle innovation in this version is to simplify the syntax by removing comprehension, so that the syntactic category of term is no longer required.