2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…