Fickleness and bounding lattices in the recursively enumerable Turing degrees
Li Ling Ko (University of Notre Dame)
Abstract: The ability for a recursively enumerable Turing degree $d$ to bound certain important lattices depends on the degree's fickleness. For instance, $d$ bounds $L_7$ (1-3-1) if and only if $d$'s fickleness is $>\omega$ ($\geq\omega^\omega$). We work towards finding a lattice that characterizes the $>\omega^2$ levels of fickleness and seek to understand the challenges faced in finding such a lattice. The candidate lattices considered include those that are generated from three independent points, and upper semilattices that are obtained by removing the meets from important lattices.
logic
Audience: researchers in the topic
Computability theory and applications
Series comments: Description: Computability theory, logic
The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.
Organizers: | Damir Dzhafarov*, Vasco Brattka*, Ekaterina Fokina*, Ludovic Patey*, Takayuki Kihara, Noam Greenberg, Arno Pauly, Linda Brown Westrick |
*contact for this listing |