[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi,
I've posted a paper about a new set theory that is somewhat influenced
by dependent type theory. Any comments are welcome.
Paul
--
https://arxiv.org/abs/1905.02718
A Theory of Particular Sets
ZFC has sentences that quantify over all sets or all ordinals, without
restriction. Some have argued that sentences of this kind lack a
determinate meaning. We propose a set theory called TOPS, using Natural
Deduction, that avoids this problem by speaking only about particular sets.
