Universes in metapredicative analysis

TitleUniverses in metapredicative analysis
Publication TypeJournal Article
Year of Publication2003
AuthorsRüede, C
JournalArchive for Mathematical Logic
Volume42
Pagination129-151
URLhttp://www.iam.unibe.ch/ltgpub/2003/rue03b.pdf