Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe

TitleRealization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe
Publication TypeJournal Article
Year of Publication2003
AuthorsTupailo, S
JournalAnnals of Pure and Applied Logic
Volume120
Pagination165-196
URLhttp://www.iam.unibe.ch/ltgpub/2003/tup03.ps