Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleWORKSHOP ON FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS AND SET THEORY (FOMUS 2016): CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC.AuthorsGRABMAYR, BALTHASAR; KANT, DEBORAH; KÜHNE, LUKAS; SARIKAYA, DENIZSubjectsFOUNDATIONS of mathematical analysis; UNIVALENT functions; SET theoryPublicationBulletin of Symbolic Logic, 2017, Vol 23, Issue 2, p267ISSN1079-8986Publication typeProceedingDOI10.1017/bsl.2017.19