@unpublished{setzer:modelautonomousMahlo:APAL:2011,
author = {Anton Setzer},
title = {Universes in Type Theory Part II -- Autonomous Mahlo},
note = {Subbmitted to Annals of Pure and Applied Logic},
year = {2011},
url={http://www.cs.swan.ac.uk/~csetzer/articles/modelautomahlomain.pdf},
abstract = { },
available = { }
}