The logic of cardinality comparison without the axiom of choice. - Matthew Harrison-Trainor; Dhruv Kulshreshtha (Ann. Pure Appl. Log., 2025)