Ivan N. Soskov

20 papers C 3Journal 17
YearRankTypeTitle / Venue / Authors
2013 C conf
A Note on ω-Jump Inversion of Degree Spectra of Structures.
CiE
Ivan N. Soskov
2013 J jnl
Computability in Europe 2011.
Ann. Pure Appl. Log.
Sam Buss, Benedikt Löwe, Dag Normann, Ivan N. Soskov
2013 J jnl
Effective properties of Marker's extensions.
J. Log. Comput.
Ivan N. Soskov
2013 J jnl
Quasi-minimal degrees for degree spectra.
J. Log. Comput.
Alexandra A. Soskova, Ivan N. Soskov
2012 J jnl
Embedding countable partial orderings in the enumeration degrees and the
J. Log. Comput.
Mariya Ivanova Soskova, Ivan N. Soskov
2011 J jnl
Kalimullin Pairs of §02 w-Enumeration Degrees.
Int. J. Softw. Informatics
Ivan N. Soskov, Mariya Ivanova Soskova
2011 C ed.
Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
CiE
Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova
2011 J jnl
Preface.
Ann. Pure Appl. Log.
Joan Bagaria, Yiannis N. Moschovakis, Margarita Otero, Ivan N. Soskov
2009 J jnl
A Jump Inversion Theorem for the Degree Spectra.
J. Log. Comput.
Alexandra A. Soskova, Ivan N. Soskov
2009 J jnl
The jump operator on the omega-enumeration degrees.
Ann. Pure Appl. Log.
Hristo Ganchev, Ivan N. Soskov
2007 J jnl
The omega-Enumeration Degrees.
J. Log. Comput.
Ivan N. Soskov
2006 J jnl
Uniform regular enumerations.
Math. Struct. Comput. Sci.
Ivan N. Soskov, Bogomil Kovachev
2005 C conf
Uniform Operators.
CiE
Ivan N. Soskov
2002 J jnl
Regular Enumerations.
J. Symb. Log.
Ivan N. Soskov, V. Baleva
2000 J jnl
A jump inversion theorem for the enumeration jump.
Arch. Math. Log.
Ivan N. Soskov
1996 J jnl
Intrinsically Hyperarithmetical Sets.
Math. Log. Q.
Ivan N. Soskov
1996 J jnl
Intrinsically II
Math. Log. Q.
Ivan N. Soskov
1991 J jnl
Second Order Definability Via enumerations.
Math. Log. Q.
Ivan N. Soskov
1990 J jnl
Computability by means of effectively definable schemes and definability via enumerations.
Arch. Math. Log.
Ivan N. Soskov
1989 J jnl
Definability Via Enumerations.
J. Symb. Log.
Ivan N. Soskov