| |
Презентации
Заглавие: Definability, automorphisms and enumeration degrees.
Статус:
Пленарна лекция изнесена на Conference in memory of Ivan Soskov, Giyletchica, September 2014.
Формат: 
Заглавие: Definability, automorphisms and enumeration degrees.
Статус:
Пленарна лекция изнесена на Logic Colloquium 2014, Vienna Summer of Logic, Technische Univeritaet Vienna, July 2014.
Формат:
Заглавие: Finite automorphism bases for degree structures.
Статус:
Пленарна лекция изнесена на Ninth International Conference on Computability Complexity and Randomness, IMS, National Univeristy of Singapore, June 2014.
Формат:
Заглавие: The definability of the total enumeration degrees and its consequences.
Статус:
Лекция изнесена на специалн сесия на ASL 2014 North American Annual Meeting, University of Colorado, Boulder, May 2014.
Формат:
Заглавие: Defining totality in the enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar, University of Notre Dame, March 2014.
Формат:
Заглавие:
Effective properties of Marker's Extensions by Ivan Soskov.
Статус:
Презентация изнесена на Southern Wisconsin Logic Colloquium, University Wisconsin-Madison, February 2014.
Формат:
Заглавие: Defining totality in the enumeration degrees.
Статус:
Презентация изнесена на Computability Seminar, UC Berkeley, February 2014.
Формат:
Заглавие: Defining totality in the enumeration degrees.
Статус:
Презентация изнесена на Connecticut Logic Seminar, University of Connecticut, January 2014.
Формат:
Заглавие:
Effective properties of Marker's Extensions by Ivan Soskov.
Статус:
Презентация изнесена на Computability Seminar, UC Berkeley, November 2013.
Формат:
Заглавие:
The automorphism group of the enumeration degrees.
Статус:
Презентация изнесена на Southern Wisconsin Logic Colloquium, University Wisconsin-Madison, August 2013.
Формат:
Заглавие:
The automorphism group of the enumeration degrees.
Статус:
Презентация изнесена на специална сесия Logic Colloquium 2013, University of Évora, July 2013.
Формат:
Заглавие:
The Turing universe in the context of enumeration reducibility.
Статус:
Пленарна лекция изнесена на Computability in Europe 2013, The Nature of Computation, University of Milano-Bicocca, July 2013.
Формат: , Video
Заглавие:
Semi-recursive sets and definability in the
enumeration degrees.
Статус:
Презентация изнесена на Семинар по Изчислимост в Калифорнийски Университет, Бъркли, Септември 2012.
Формат:
Заглавие:
The Turing universe in the context of enumeration reducibility.
Статус:
Пленарен доклад, изнесен на Logic Colloquium 2012, University of Manchester, Юли 2012.
Формат:
Заглавие:
Определимост на аритметиката в теорията на изчислимостта.
Статус:
Публична лекция, Факултет по математика и информатика, Софийски Университет, Юли 2012.
Формат:
Заглавие:
Definability via K-pairs.
Статус:
Презентация изнесена на SAS Seminar, Isaac Newton Institute for Mathematical Studies, Cambridge University, Май 2012.
Формат: Video
Заглавие:
Extensions of the Turing model for relative definability.
Статус:
Презентация изнесена на 2012 Spring Eastern Sectional Meeting
Special Session on Computable Mathematics (in honor of Alan Turing), George Washington University, Washington, DC, Март 2012.
Формат:
Заглавие:
Extensions of the Turing model for relative definability.
Статус:
Презентация изнесена на Spring 2012 Mid-Atlantic
Mathematical Logic Seminar, City University New York, Март 2012.
Формат:
Заглавие:
The structure of the omega enumeration degrees.
Статус:
Презентация изнесена на Computational Prospects of Infinity II, Workshop on Recursion Theory at the Institute for Mathematical Sciences, NUS, Август 2011.
Формат:
Заглавие:
Definability in the enumeration degrees.
Статус:
Презентация изнесена на Research Seminar at the Kurt Gödel Research Center for Mathematical Logic, Май 2011.
Заглавие:
Definability in the local structures of the enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at the University of Chicago, Март 2011.
Формат:
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at the University of Notre Dame, Март 2011.
Формат:
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at Cornell University, Март 2011.
Формат:
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Computability Seminar at the University of Leeds, Декември 2010.
Формат:
Заглавие:
Local definability of K-pairs in the enumeration degrees.
Статус:
Презентация изнесена на Second Session of the Workshop in Computability Theory 2011, , University of Chicago Center in Paris, Юли 23-24.
Формат:
Заглавие:
Definability and Interpretability in the Σ02 enumeration degrees.
Статус:
Презентация изнесена на Mal'tsev Meeting, , Novosibirsk, Май 2-6, 2010.
Формат:
Заглавие:
Charectarizing the Strength of the Local Theory of the Enumeration Degrees.
Статус:
Презентация изнесена на The 14th SouthEastern Logic Symposium, Gainesville, Февруари 2010.
Формат:
Заглавие:
A Locally Definable Set of Low Enumeration
Degrees. Work in Progress.
Статус:
Презентация изнесена на семинар по изчислимост, Факултет по математика и Информатика "Роберто Маджари", Сиена, 09. 2009.
Формат:
Заглавие:
Embedding Partial Orderings in Degree Structures
(Short version)
Статус:
Презентация изнесена на конференцията Computability in Europe 2009, Heidelberg, 07.2009.
Формат:
Заглавие:
Embedding Partial Orderings in Degree Structures
Статус:
Презентация изнесена на семинар по изчислимостr, University of Leeds, 05.2009.
Формат:
Заглавие:
The Local Structure of the Enumeration degrees
Статус:
Презентация изнесена на семинар по теория на доказателствата, Факултет по Математика, Университет Лудвиг Максимилиян, Мюнхен, Юли 2008.
Формат:
Заглавие:
The Limitations of Cupping in the Local Structure of the Enumeration Degrees
Статус:
Презентация изнесена на конференцията Computability in Europe 2008, Атина, Юни 2008.
Формат:
Заглавие:
Cupping Classes of Σ02 Enumeration Degrees
Статус:
Презентация изнесена на семинар по изчислимост, Факултет по математика и Информатика "Роберто Маджари", Сиена, Феврувари 2008.
Формат:
Заглавие:
Enumeration Degrees
Статус:
Презентация изнесена на конференцията MATHLOGAPS Third Training Workshop, Аусоа, Юни 2007.
Формат:
Заглавие:
A Non-splitting Theorem in the Enumeration Degrees
Статус:
Презентация изнесена на конференцията Computability in Europe 2007, Сиена, Юни 2007.
Формат:
Заглавие:
Cupping Δ2 Enumeration Degrees to 0'
Статус: Презентация изнесена на конференцията Computability in Europe 2007, Сиена, Юни 2007.
Формат:
Заглавие:
The Strongest Nonsplitting Theorem
Статус:
Презентация изнесена на конефенцията TAMC 2007, Шанхай, Май 2007.
Формат:
Заглавие:
A Gentle Approach to Harrington Non-splitting and Beyond
Статус:
Презентация изнесена на Семинар по Логика, University of Leeds, Февруари 2007.
Формат:
Заглавие:
An Introduction to a New Characterization of the Low-n Degrees
Статус:
Презентация изнесена на семинар по изчислимостr, University of Leeds, Февруари 2006.
Формат: Част 1 , Част 2
Заглавие:
A Generalization of Harrington's Nonsplitting Theorem
Статус:
Презентация изнесена на конференцията MATHLOGAPS Second Training Workshop, Лийдс, Август 2006.
Формат:
Заглавие:
Genericity and Nonbounding
Статус:
Презентация изнесена на конференцията Computability in Europe 2006, Суонси, Юни 2006.
Формат:
Заглавие:
Introduction to Harrington's Nonsplitting Theorem
Статус:
Презентация изнесена на семинар по изчислимостr, University of Leeds, Май 2006.
Формат: Част 1 , Част 2
Заглавие:
A Generic Set that Does Not Bound a Minimal Pair in the Enumeration Degrees
Статус:
Презентация изнесена на конференцията TAMC06, Пекин, Май 2006.
Формат:
|
|
