News

A Platonistic set theory with a universal set, CUSÉ©, in the spirit of Alonzo Church's "Set Theory with a Universal Set," is presented; this theory uses a different sequence of restricted equivalence ...
This is a preview. Log in through your library . Abstract Fraenkel-Mostowski set theory represents an alternative set theory with multiple applications in mathematics and computer science. It deals ...