TY - RPRT TI - Automorphisms of models of set theory and extensions of NFU AU - Zachiri McKenzie PY - 2013 UR - https://arxiv.org/abs/1309.4631 ID - 1309.4631 ER -