| |
Презентации
Заглавие:
Definability in the enumeration degrees.
Статус:
Презентация изнесена на Research Seminar at the Kurt Gцdel Research Center for Mathematical Logic, May 2011.
Заглавие:
Definability in the local structures of the enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at the University of Chicago, March 2011.
Формат: 
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at the University of Notre Dame, March 2011.
Формат:
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Logic Seminar at Cornell University, March 2011.
Формат:
Заглавие:
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees.
Статус:
Презентация изнесена на Computability Seminar at the University of Leeds, December 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, July 23-24.
Формат:
Заглавие:
Definability and Interpretability in the Sigma-0-2 enumeration degrees.
Статус:
Презентация изнесена на Mal'tsev Meeting, , Novosibirsk, May 2-6, 2010.
Формат:
Заглавие:
Charectarizing the Strength of the Local Theory of the Enumeration Degrees.
Статус:
Презентация изнесена на The 14th SouthEastern Logic Symposium, Gainesville, February 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, Лийдски университет, 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 &Sigma20 Enumeration Degrees
Статус:
Презентация изнесена на семинар по изчислимост, Факултет по математика и инфорамтика "Роберто Маджари", Сиена, февруари 2008.
Формат:
Заглавие:
Enumeration Degrees
Статус:
Презентация изнесена на конференцията MATHLOGAPS Third Training Workshop, Аусоа, юни 2007.
Формат:
Заглавие:
A Non-splitting Theorem in the Enumeration Degrees
Статус:
Презентация изнесена на конеренцията Computability in Europe 2007, Сиена, юни 2007.
Формат:
Заглавие:
Cupping &Delta2 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
Статус:
Презентация изнесена на Семинар по логика, Лийдски университет, февруари 2007.
Формат:
Заглавие:
An Introduction to a New Characterization of the Low-n Degrees
Статус:
Презентация изнесена на Семинар по изчислимостr, Лийдски университет, ноември 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, Лийдски университет, май 2006.
Формат: Част 1 , Част 2
Заглавие:
A Generic Set that Does Not Bound a Minimal Pair in the Enumeration Degrees
Статус:
Презентация изнесена на конференцията TAMC06, Пекин, май 2006.
Формат:
|
|
