[TYPES] Theory of Particular Sets

[Paul Blain Levy]

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.