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
the omega-enumeration degrees,  Logic Seminar at the University of Notre Dame (USA), March 10, 2011

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