Abstract

In this paper we develop the theory of cardinals in the theory COPY.
This is the theory of two total, jointly injective binary predicates in a
second order version, where we may quantify over binary relations. The
only second order axioms of the theory are the axiom asserting the existence
of an empty relation
... read more