Seminar Event Detail


Logic

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.

Files:


Speaker:  Matthew Harrison-Trainor
Institution:  UM

Event Organizer:   Andreas R Blass    ablass@umich.edu

 

Edit this event (login required).
Add new event (login required).
For access requests and instructions, contact math-webmaster@umich.edu

Back to previous page
Back to UM Math seminars/events page.