Caltech Home > PMA Home > Calendar > Logic Seminar
open search form
Wednesday, April 23, 2025
12:00 PM - 1:00 PM
Online Event

Logic Seminar

Graphings of Arithmetical Equivalence Relations
Tyler Arant, Department of Mathematics, UCLA,

A graphing of an equivalence relation E is a graph G whose connectivity equivalence relation is equal to E. In previous joint work with Alekos Kechris and Patrick Lutz, we studied analytic equivalence relations which have Borel graphings. In this talk, we will discuss new results about when arithmetical equivalence relations have definable graphings which are lower down in the arithmetical hierarchy. In particular, we will see that for any computable relational language L, computable isomorphism of L-structures presented on the natural numbers (a Σ^0_3 equivalence relation) has a Π^0_2 graphing. We will also prove a result on how to arithmetically construct a graphing of the Friedman-Stanley jump of E from a graphing of E.

For more information, please contact Mathematics Dept. by phone at 626-395-4335 or by email at [email protected].