A notion of rank in set theory without choice. - G. S. Mendick; John Kenneth Truss (Arch. Math. Log., 2003)