Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.Title2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19–24, 2021.SubjectsMATHEMATICAL logic; MODEL theory; COGNITIVE science; REVERSE mathematics; MATHEMATICAL formulasPublicationBulletin of Symbolic Logic, 2022, Vol 28, Issue 2, p268ISSN1079-8986Publication typeArticleDOI10.1017/bsl.2022.17