Cantor digraphs and abbreviations of formulas

Martin Klazar

A digraph $D=⟨V,E⟩$ ($E\subset V\times V$) is Cantor if Cantor's theorem - for no set there is a surjection from it to its power set - holds in $D$, in the sense we ex…