Computability with Partial Information |
Supported by the Bulgarian National Science Fund |
Publications → Presentations |
1. M. Soskova, The Turing universe in the context of enumeration reducibility, Logic Colloquium 2012, University of Manchester, Manchester (England), July 12-18 2012 2. A. Soskova, Enumeration Degree Spectra, The Incomputable workshop, Special Session The Mathematics of Incomputability, Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing" , Kavli Royal Society International Centre, Chicheley Hall (England ), 11-16 June 2012 3. I. Soskov, Definability Properties of Marker's Extensions, The Incomputable workshop, Special Session The Mathematics of Incomputability, Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing", Kavli Royal Society International Centre, Chicheley Hall (England), June 11-16 2012 4. A. Sorbi, Classifying Computably Enumerable Equivalence Relations, The Incomputable workshop, Special Session The Mathematics of Incomputability, Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing", Kavli Royal Society International Centre, Chicheley Hall (England), June 11-16 2012 5. A. Soskova, Conservative extensions and the jump of a structure, Semantics and Syntax: A Legacy of Alan Turing (SAS), Isaac Newton Institute for Mathematical Sciences, June 7, 2012 6. M. Soskova, Difanability via K-pairs, Semantics and Syntax: A Legacy of Alan Turing (SAS), Isaac Newton Institute for Mathematical Sciences, Cambridge (England), May 31, 2012 7. A. Soskova, Enumeration Degree Spectra, Conference on Definability in Computable Structures, Chicago university, Chicago (USA), May 12-13 2012 8. I. Soskov, What Should Be a Jump Inversion of a Structure?, Conference on Definability in Computable Structures, Chicago University, Chicago (USA), May 12-13 2012 9. H. Ganchev, The Local Structure of the Enumeration Degrees, Computability Seminar, Universita degli Studi, Siena (Italy), May 9, 2012 10. M. Soskova, Extensions of the Turing model for relative definability, 2012 AMS Spring Eastern Sectional Meeting, George Washington University, Washington, DC (USA), March 17-18 2012 11. A. Soskova, Partial Degree Spectra, 2012 AMS Spring Eastern Sectional Meeting, George Washington University, Washington, DC (USA), March 17-18 2012 12. M. Soskova, Extensions of the Turing model for relative definability, Spring 2012 Mid-Atlantic Mathematical Logic Seminar, City University New York, New York (USA) March 9-10 2012 13. A. Sorbi, Positive Equivalence Relations and Reducibility, Mal'tsev Meeting, Novosibirsk (Russia), October 11-14, 2011 14. A. Soskova, Degree spectra and conservative extensions of abstract structures, Mal'tsev Meeting 2011, Novosibirsk, October 11-14, 2011, 15. M. Soskova, The structure of the omega-enumeration degrees, Workshop on Recursion Theory, Institute of Mathematical Science, National University of Singapore, Singapore, August 1-5 2011 16. H. Ganchev, Definability in the local theory of the enumeration degrees, Workshop on Recursion Theory, Institute of Mathematical Science, National University of Singapore, Singapore, August 1-5, 2011 17. S. Vatev, Conservative Extensions of Structures, Infinity Conference, Centre de Recerca Matematica, Bellaterra, Barcelona (Spain), July 18-22 2011. 18. S. Vatev, Coservative extensions of structures, CiE 2011, Sofia, June 27—July 2, 2011 19. A. Soskova, Degree spectra and conservative extensions of abstract structures, Workshop in Computability Theory, 2011, San Francisco, May 22-23, 2011 20. M. Soskova, Definability in the enumeration degrees, Research Seminar at the Kurt Gödel Research Center for Mathematical Logic, Vienna (Austria), May 19, 2011 21. M. Soskova, Definability in the local structures of the enumeration degrees, Logic Seminar at the University of Chicago, Chicago (USA), March 30, 2011 22. M. Soskova, Definability in the local structures of the enumeration degrees and 23. M. Soskova, Definability in the enumeration degrees, Logic Seminar at Cornell University, Cornell (USA), March 2 2011 24. M. Soskova, The total degrees in the local structure of the enumeration degrees, Computability Theory Seminar at the University of Leeds, Leeds (England), December 7 2010 25. A. Soskova, Computability, Reducibilities and Degree Spectra, First International Istanbul Graduate Summer School in Logic, Modal logic and Its Applications, Istanbul, August 2010 26. A. Ditchev, A notion of effective topological spaces, Logic Colloquium 2010, Paris (France), July 25-31 2010 27. A. Soskova, Enumeration Degree Spectra of Abstract Structures, Workshop in Computability Theory, July 23, 24 2010, Paris, France. 28. M. Soskova, Local definability of K-pairs in the enumeration degrees, Workshop in Computability Theory, July 23, 24 2010, Paris, France. 29. S. Vatev, omega-degree spectra and co-spectra of structures, Logic Colloquium 2010, Paris (France), July 25-31 2010 30. A. Sorbi, The Medvedev lattice and intermediate propositional logics, Workshop on Computability Theory 2010 (Satellite workshop to Computability in Europe 2010 (CiE 2010)), Ponta Delgada (Portugal), July 5-6, 2010 31. C. Harris, Oracle constructions in the local enumeration degrees, Seminar on Mathematical Logic, FMI, Sofia University, June 24 2010 32. M. Soskova, Definability and Interpretability in the Sigma-0-2 enumeration degrees, Plenary talk at Mal'tsev Meeting, Novosibirsk, May 2-6, 2010 33. A. Soskova, Enumeration Degree Spectra of Abstract Structures, Computability Theory Seminar, Leeds University, Leeds (England), February 23, 2010 34. H. Ganchev, Structural Properties of the $\Sigma^0_2$ Enumeration Degrees, Computability Theory Seminar, Leeds University, Leeds (England), February 16, 2010 M. Soskova, 35. M. Soskova, Characterizing the Strength of the Local Theory of the Enumeration Degrees , Special session talk at 14th South Eastern Logic Symposium, February 27, 28 2010, Gainesville Florida . 36. H. Ganchev, Definability in the local structure of the enumeration degrees, Scientific Session, FMI, Sofia University, October 2009 37. H. Ganchev and M. Soskova, Coding with K-pairs, Plenary talk at Workshop on Computability Theory 2009, Sofia. 38. H. Ganchev, I. Soskov and M. Soskova, K-pairs in the omega enumeration degrees, Scientific Session, FMI, Sofia University, October 2009 39. I. Soskov, The omega-enumeration degrees, Plenary talk at Workshop on Computability Theory 2009, Sofia. 40. I. Soskov. The ω-enumeration degrees, Plenary talk at Mal'tsev Meeting Novosibirsk, August 24-28, 2009 41. I. Soskov, Enumeration degree spectra of abstract structures, Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari", Siena, September 2009. 42. A. Sorbi, s-reducibility and immunity properties, Logic Colloquium 2009, Sofia, July 31—August 5, 2009 43. H. Ganchev, Definability in the Local Theory of the omega-Enumeration Degrees, Special session at CiE 2009, Heidelberg. 44. A. Soskova, I. N. Soskov, Some applications of the Jump Inversion Theorem for the Degree Spectra, CiE 2009, Heidelberg. 45. A. Sorbi, The first order theories of the Medvedev and Muchnik lattices, Computability in Europe 2009 (CiE 2009), Heidelberg (Germany), July 19—24, 2009 46. A. Soskova, Enumeration spectra of structures, Scientific Session, FMI, Sofia University, October 2009 47. M. Soskova, A Locally Definable Set of Low Enumeration Degrees. Work in Progress., Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari", Siena, September 2009. 48. A. Soskova, Some applications of Jump Inversion Theorem for the Degree Spectra, 7th Panhellenic Logic Symposium, 2009, Patra, Greece, July 15-19 |