Tyler Arant

activity

20242026

collaborators

3 papers

math.LO2026

Strongly relativizing reals

Tyler Arant

For a real $f \in N^{N}$ , it is in general not the case that every set which is both $Σ_{1}^{1} (f)$ and $Π_{1}^{1} (f)$ is the $f$ -section of a $Δ_{1}^{1}$ set. However, there ar…

math.LO2025

Graphings of arithmetical equivalence relations

Tyler Arant

This paper studies when an arithmetical equivalence relation $E$ can be realized as the connectedness relation of a graph $G$ which is simpler to define than $E$ . Several examples…

math.LO2024

Borel graphable equivalence relations

Tyler Arant, Alexander S. Kechris, Patrick Lutz

This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main…