Ivan N. Soskov

Publication Activity (10 Years)

Years Active: 1989-2013
Publications (10 Years): 0

Top Topics

European Countries

Information Retrieval

Artificial Intelligence In Medicine

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Sam Buss, Benedikt Löwe, Dag Normann, Ivan N. Soskov
Computability in Europe 2011. Ann. Pure Appl. Log. 164 (5) (2013)
Ivan N. Soskov
A Note on ω-Jump Inversion of Degree Spectra of Structures. CiE (2013)
Ivan N. Soskov
Effective properties of Marker's extensions. J. Log. Comput. 23 (6) (2013)
Alexandra A. Soskova, Ivan N. Soskov
Quasi-minimal degrees for degree spectra. J. Log. Comput. 23 (6) (2013)
Mariya Ivanova Soskova, Ivan N. Soskov
-enumeration degrees. J. Log. Comput. 22 (4) (2012)
Ivan N. Soskov, Mariya Ivanova Soskova
Kalimullin Pairs of §02 w-Enumeration Degrees. Int. J. Softw. Informatics 5 (4) (2011)
Joan Bagaria, Yiannis N. Moschovakis, Margarita Otero, Ivan N. Soskov
Preface. Ann. Pure Appl. Log. 162 (7) (2011)
Hristo Ganchev, Ivan N. Soskov
The jump operator on the omega-enumeration degrees. Ann. Pure Appl. Log. 160 (3) (2009)
Alexandra A. Soskova, Ivan N. Soskov
A Jump Inversion Theorem for the Degree Spectra. J. Log. Comput. 19 (1) (2009)
Ivan N. Soskov
The omega-Enumeration Degrees. J. Log. Comput. 17 (6) (2007)
Ivan N. Soskov, Bogomil Kovachev
Uniform regular enumerations. Math. Struct. Comput. Sci. 16 (5) (2006)
Ivan N. Soskov
Uniform Operators. CiE (2005)
Ivan N. Soskov, V. Baleva
Regular Enumerations. J. Symb. Log. 67 (4) (2002)
Ivan N. Soskov
A jump inversion theorem for the enumeration jump. Arch. Math. Log. 39 (6) (2000)
Ivan N. Soskov
Intrinsically Hyperarithmetical Sets. Math. Log. Q. 42 (1996)
Ivan N. Soskov
Relations. Math. Log. Q. 42 (1996)
Ivan N. Soskov
Second Order Definability Via enumerations. Math. Log. Q. 37 (2-4) (1991)
Ivan N. Soskov
Computability by means of effectively definable schemes and definability via enumerations. Arch. Math. Log. 29 (3) (1990)
Ivan N. Soskov
Definability Via Enumerations. J. Symb. Log. 54 (2) (1989)