skip to main content
Caltech
Fires burning in Greater Los Angeles area have had significant impact on the Caltech's community and surrounding areas. For information and resources for members of the Caltech community, go to https://www.caltech.edu/fire.

Logic Seminar

Tuesday, October 24, 2017
3:00pm to 4:00pm
Add to Cal
Building 15, Room 131
A recursion theoretic property of analytic equivalence relations
Howard Becker, Visiting Caltech,
Let E be an analytic equivalence relation which does not have perfectly many equivalence classes. For any oracle a, define L(a,E) to be the set of E-equivalence classes which contain an element y with the property that omega_1^ = omega_1^a. For a Turing cone of a's, L(a,E) is countable.
For more information, please contact Mathematics Department by phone at 626-395-4335 or by email at mathinfo@caltech.edu.