A Timeline of Lattice Embeddings into the Turing Degrees
José Jeremías Valenzuela Morales (George Washington University)
| Thu Apr 16, 18:00-19:00 (3 months from now) | |
Abstract: The Turing degrees form a rich upper semilattice. As such, a natural way to explore their structure is by studying which types of semilattices can be embedded into them. From Kleene-Post's embeddability result for finite upper semilattices, to Lerman's embeddability criterion and Montalbán's work on jump upper semilattices, this expository talk will survey several classic embedding results with a focus on their techniques and machinery.
logic
Audience: researchers in the topic
Series comments: Description: Seminar on all areas of logic
| Organizer: | Wesley Calvert* |
| *contact for this listing |
Export talk to