COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Introenumerable sets and the cototal enumeration degrees

## Introenumerable sets and the cototal enumeration degreesAdd to your list(s) Download to your calendar using vCal - Joseph Miller (University of Wisconsin-Madison)
- Monday 06 June 2022, 13:30-14:30
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact nobody. SASW09 - International conference on computability, complexity and randomness In 2015, Emmanuel Jeandel pointed out two interesting properties of the language L of a minimal subshift. First, it is enumeration reducible to its complement; we say that L is cototal. Second, there is an enumeration operator that recovers L from any infinite subset; we say that L is uniformly introenumerable. The first observation motivated the study of cototal sets and their enumation degrees, which has been fruitful. Less attention has been paid to the second observation. In 2018, McCarthy showed that every cototal enumeration degree contains the language of a minimal subshift, and hence contains a uniformly introenumerable set. This leaves open the question of whether all uniformly introenumerable sets have cototal degree. Goh, Jacobsen-Grocott, Soskova, and I have answered this question in the negative. In this talk, I will give the background on cototality and its connection to symbolic dynamics and computable structure theory. I will put the result above in a larger conext, describing other related subclasses of the enumeration degrees. I will also discuss the forcing partial order that we use to prove the separation between uniform introenumerability and cototality. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsUrban History Workshop Biology is Technology: The Promise, Peril, and New Business of Engineering Life Cambridge University International Development (CUID)## Other talksProjectile Fusion A new challenge in applied computational science and engineering Baja California Neurogenic transcription factors in development and cancer Mechanical and Metabolic Cell-Cell Interactions governing Biofilm Formation Projective and Telescopic Projective Integration for Kinetic Mixtures Misinformation: Subjective beliefs, Source credibility, and Social Networks |