Extending the system $\mathsf{T}_0$ of explicit mathematics: the limit and Mahlo axioms

TitleExtending the system $\mathsf{T}_0$ of explicit mathematics: the limit and Mahlo axioms
Publication TypeJournal Article
Year of Publication2002
AuthorsJäger, G, Studer, T
JournalAnnals of Pure and Applied Logic
Volume114
Pagination79-101
URLhttp://www.iam.unibe.ch/ltgpub/2002/js02b.pdf