On Feferman's operational set theory $\mathsf{OST}$

TitleOn Feferman's operational set theory $\mathsf{OST}$
Publication TypeJournal Article
Year of Publication2007
AuthorsJäger, G
JournalAnnals of Pure and Applied Logic
Volume150
Pagination19-39
URLhttp://www.iam.unibe.ch/ltgpub/2007/jae07.pdf