G. S. Mendick J. K. Truss A notion of rank in set theory without choice. 165-178 2003 42 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-002-0164-9 db/journals/aml/aml42.html#MendickT03