Презентации
- The Theory of the Enumeration Degrees and its Fragments
Computability in Europe, July 2024. - Enumeration Weihrauch Reducibility
Victoria University Logic Seminar, April 2024. - The relationship between local and global structure
Computability in Europe, July 2023. - Stratifying classes of enumeration degrees
MAMLS, May 2023. - One point extensions of antichains in the local structure of the enumeration degrees
Leeds Computability Days, University of Leeds, June 2022. - Enumeration pointed trees
North American ASL Meeting, Cornell University. Special Session on Computability Theory, April 2022. - One point extensions of antichains in the local structure of the enumeration degrees
New Directions in Computability, CNRS, Luminy, France, March 2022. - The e-verse
University of Wisconsin-Madison Mathematics Colloquium, February 2022. - Logic, degrees, and definability
Women in Mathematics in South-Eastern Europe, Bulgarian Academy of Sciences, December 2021. - The hyper enumeration degrees
Dagstuhl Seminar 20161, “Descriptive Set Theory and Computable Topology”, November 2021. - Logic, degrees, and definability
Workshop in Philosophy of Computing, Warsaw University of Technology, Poland, September 2021. - The e-verse
Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, June 2021. - PA relative to an enumeration oracle
Oberwolfach Workshop 2117 "Computability Theory", April 2021. - Logic, degrees, and definability
University of Connecticut Mathematics Colloquium, March 2021. - PA relative to an enumeration oracle
Comptability Theory and Applications Online Seminar, July 2020. - The enumeration degrees zoo
Special Session on Computable Topology, CiE 2020, Salerno, June 2020. - Fragments of the theory of the enumeration degrees
Online Logic Seminar, April 2020. - The enumeration degrees: the known and teh unknown
Southern Wisconsin Logic Colloquium, April 2020. - Fragments of the theory of the enumeration degrees
Southeastern Logic Symposium 2020, University of Florida, Gainesville, February 2020. - The three quantifier theory
of the partial order of the enumeration degrees
12-ти Панхеленски Логически Колоквиум, Юни 2019. - The enumeration degrees: An overview
Висша Теория на Рекурсията и Теория на Множествата, Институт по математически науки, Сингапур, Май 2019. - The enumeration degrees: the known and the unknown
2019 Северно Американска среща на Асоциацията по Символна Логика, Mай 2019. - Fragments of the first order theory
of the partial order of the enumeration degrees
Специална сесия по Изчислимост, Сложност и Учение на Американската Математическа Асоциация, Хонолулу, Март 2019. - An enumeration degree perspective for effective mathematics
Логически семинар на Университет на Илинойс в Чикаго, Септември 2018. - Определимост на непрекъснатите степени
Семинар по логика, ФМИ, Януари 2018. - Randomness relative to an enumeration oracle
Оберволфах, Януари 2018. - Characterizing the continuous degrees
Логически колоквиум на Южен Уисконсин, Октомври 2017. - Characterizing the continuous degrees
Логически колоквиум 2017, Стокхолм, Август 2017. - Generic Muchnik reducibility and expansions of the reals
Секционна среща на американската математическа асоциация, Колеж Хънтър, Ню Йорк, Май 2017. - Logic and degrees
Математически колоквиум, Университет Маркет, Милуоки, Април 2017. - Seven characterizations of the cototal enumeration degrees
Югоизточен логически симпозиум 2017, Университет на Флорида, Гейнсвил, Март 2017. - Definability in degree structures
Математически колоквиум, Университет на Уисконсин–Мадисън, Ноември 2016. - Cototality and the skip operator
Есенна централна секционна среща на американската математическа асоциация, Минеаполис, Октомври 2016. - Randomness relative to an enumeration oracle
17ти Среднозападен семинар по Изчислимост, Университет на Чикагo, Януари 2016. - Definability and automorphisms in the enumeration degrees
CCR 2016, Университет на Хавай, Януари 2016. - Defining the jump classes in the local structure of the enumeration degrees
Есенна централна секционна среща на американската математическа асоциация, Университет Лойола, Чикаго, Октомври 2015. - Degree structures and Arithmetic
Логически колоквиум на Южен Уисконсин, Септември 2015. - Definability of the jump classes in the local structure of the enumeration degrees
Логически семинар, Университет на Сиена, Юни 2015. - Enumeration degrees: Local and global structural interactions
10ти Панхеленски логически симпозиум, Самос, Юни 2015. - Номерационни степени: връзка между локална и глобална структура
2015 Пролетна научна сесия, ФМИ, Софийски Университет, Март 2015. - An automorphism analysis for the $\Delta^0_2$ Turing degrees
2015 Пролетна източна секционна среща на американската математическа асоциация, Джорджтаун Университет, Март 2015. - Definability, automorphisms and enumeration degrees
Конефернция в памет на Иван Сосков, Гюлечица, Септември 2014.
Логически Колоквиум 2014, Виенско лято на Логиката, Технически Университет Виена, Юли 2014. - Finite automorphism bases for degree structures
CCR 2014, IMS, Национален Университет на Синагпур, Юни 2014. - The definability of the total enumeration degrees and its consequences
Асоциация по симвилна логика, 2014 Северноамериканска содишна среща, Университет на Колорадо, Болдър, Май 2014. - Effective properties of Marker's Extensions by Ivan Soskov
Логически колоквиум на Южен Уисконсин, Университет на Уисконсин–Мадисън, Февруари 2014. - Defining totality in the enumeration degrees
Семинар по изчислимост на Университет на Калифорния, Бъркли, Февруари 2014. - The automorphism group of the enumeration degrees
Логически колоквиум на Южен Уисконсин, Университет на Уисконсин–Мадисън, Август 2013.
Logic Colloquium 2013, University of Evora, Юли 2013. - The Turing universe in the context of enumeration reducibility
Изчислимост в Европа 2013, Университет на Милано, Юли 2013. - Semi-recursive sets and definability in the enumeration degrees
Семинар по изчислимост на Университет на Калифорния, Бъркли, Септември 2012. - The Turing universe in the context of enumeration reducibility
Логически колоквиум 2012, Университет на Манчестър, Юли 2012. - Определимост на аритметиката в теория на изчислимостта
Публична лекция изнесена във Факултет по Математика и Информатика, Софийски Университет, Юли 2012. - Extensions of the Turing model for relative definability
2012 Пролетна изтозна секционна среща на американската математическа асоциация, Специална сесия по изчислима математика (в чест на Алан Тюринг), Джорц Уошингтън Универстет, Март 2012.
Spring 2012 Mid-Atlantic Логически семинар на Градски Университет на Ню Йорк, Март 2012. - The structure of the omega enumeration degrees
Изчислителни проспекти на безкрайността II, Работна среща по Теория на Рекурсията, Институт по Математически Науки, NUS, Сингапур, Август 2011. -
Definability in the local structures of the enumeration degrees
Логически семинар на Университет на Чикаго, Март 2011. -
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees
Логически семинар на Университет Корнел, Март 2011. -
Local definability of $\mathcal{K}$-pairs in the enumeration degrees.
Втора сесия на работна среща по Теория на Изчислимост 2011, Университет на Чикаго, Център в Париж, Юли 2011. -
Definability and interpretability in the $\Sigma^0_2$ enumeration degrees.
Конференция на Малцев, Новосибирск, Май 2010. -
Charectarizing the strength of the local theory of the enumeration degrees
14ти Югоичзточен логически симпозиум, Гейнсвил, Февруари 2010. -
A locally definable det of low enumeration degrees: work in progress
Логически семинар, Университет на Сиена, Септември 2009. -
Embedding partial orderings in degree structures
Изчислимост в Европа 2009, Хайделберг, Юли 2009.
Семинар по изчислимост на Университета на Лийдс, Май 2009. -
The local structure of the enumeration degrees
Семианр по Теория на Доказателствата, Университет Лудвиг Максимилиян, Мюнхен, Юли 2008. -
The limitations of cupping in the local structure of the enumeration degrees
Изчислимост в Европа 2008, Атина, Юни 2008. -
Cupping classes of $\Sigma^0_2$ enumeration degrees
Логически семинар, Университет на Сиена, Февруари 2008. -
Enumeration degrees
MATHLOGAPS Трета учебна среща, Аусуоа, Юни 2007. -
A non-splitting theorem in the enumeration degrees
Изчислимост в Европа 2007, Сиена, Юни 2007. -
Cupping $\Delta^0_2$ enumeration degrees to $0'$
Изчислимост в Европа 2007, Сиена, Юни 2007. -
The strongest nonsplitting theorem
4та Интернационална коференция TAMC 2007, Шангхай, Май 2007. -
A Gentle Approach to Harrington non-splitting and beyond
Логически семинар на Университета на Лийдс, Февруари 2007. -
An introduction to a new characterization of the low$_n$ degrees
Семинар по изчислимост на Университета на Лийдс, Ноември 2006. Part 1 , Part 2 -
A generalization of Harrington's nonsplitting theorem
MATHLOGAPS Втора учебна среща, Лийдс, Август 2006. -
A generalization of Harrington's nonsplitting theorem
Изчислимост в Европа 2006, Суанси, Юни 2006. -
Introduction to Harrington's nonsplitting theorem
Семинар по изчислимост на Университета на Лийдс, Май 2006. Part 1 , Part 2 -
A generic set that does not bound a minimal pair in the enumeration degrees
Трета интернационална конференция, TAMC06, Пекин, Май 2006.