10 citations · 17 across the 3 of their papers we have counts for
1 paper · 1 filter
Domenico Cantone, Cristiano Longo
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers an…