2 papers
math.LO2001
A critical study on the concept of identity in Zermelo-Fraenkel-like axioms
Aurelio Sartorelli, Decio Krause, Adonai S. Sant'Anna
According to Cantor, a set is a collection into a whole of defined and separate (we shall say distinct) objects. So, a natural question is ``How to treat as `sets' collections of i…
quant-ph1998
Opaque predicates, veiled sets and their logic
Decio Krause, Steven French
Motivated by considerations in the foundations of quantum mechanics and inspired by the literature on vague predicates, we introduce the concept of an opaque predicate. While in th…