@inproceedings{kahleSetzer:ExtendedPredicativeMahlo:PohlersFestschrift:2010,
author = {Reinhard Kahle and Anton Setzer},
title = {An extended predicative definition of the {M}ahlo universe},
editor = {Ralf Schindler},
booktitle = {Ways of ProofTheory},
series={Ontos Series in Mathematical Logic},
publisher = {Ontos Verlag},
address = {Frankfurt (Main), Germany},
year = {2010},
pages={315 - 340},
note = {Available from http://wwwmath.uni-muenster.de/logik/Personen/rds/pohlersfest.html},
abstract={{F}estschrift on the occasion of {W}olfram {P}ohler's retirement},
url={http://www.cs.swan.ac.uk/~csetzer/articles/kahleSetzerExtendedPredicativeMahloPohlersFestschrift.pdf}
}