Logic Colloquium: Infinite Ray Theorems: Complexity and Reverse Mathematics: Theorems of Hyperarithmetic Analysis
LOGIC
February 5, 2020 4:30 pmSpeaker: Richard A. Shore - Cornell University
A ray in a graph G = (V, E) is a sequence X (possibly infinite) of distinct vertices x0, x1, . . . such that, for every i, E(xi ,...
Read more