Skip to main content

Matthew Harrison-Trainor : Coding information into all infinite subsets

Posted by Matthew Harrison-Trainor , part of the Logic Seminar.

At
March 13, 2024, 4 p.m.
In
712 SEO
Abstract
Given a set A, we say that A is introreducible if all subsets of A can compute A. I will talk about several results about introreducibility and the related notion where all subsets of A can compute some other set C.