|Date: Thursday, September 23, 2021
Location: 2866 East Hall (4:00 PM to 5:30 PM)
Title: The Tree of Tuples of a Structure
Abstract: Given a structure, one can form a tree whose nodes are tuples from the structure, ordered by extension, and with each tuple labeled by its atomic type. This structure encodes the back-and-forth information of the structure and hence, by a back-and-forth argument, its isomorphism type. The tree of tuples appeared implicitly in the seminal Friedman-Stanley paper on Borel reducibility. With Montalban I showed that there are structures which cannot be recovered computably from their tree of tuples. I will talk about why we care about the tree of tuples, and about this result and what it has to say about coding and Borel reducibility.
Speaker: Matthew Harrison-Trainor
Event Organizer: Andreas R Blass firstname.lastname@example.org