On the complexity of formulas in semantic programming SS Ospichev, DK Ponomarev Сибирские электронные математические известия 15 (0), 987-995, 2018 | 17 | 2018 |
Computable family of Σ− 1 a-sets without Friedberg numberings S Ospichev 6th Conference on Computability in Eueope, CiE, 311-315, 2010 | 15 | 2010 |
Friedberg numberings in the Ershov hierarchy SS Ospichev Algebra and Logic 54 (4), 283-296, 2015 | 14 | 2015 |
The expressiveness of looping terms in the semantic programming S Goncharov, S Ospichev, D Ponomaryov, D Sviridenko arXiv preprint arXiv:1912.02731, 2019 | 9 | 2019 |
Infinite family of -Sets with only One Computable Numbering SS Ospichev Siberian Journal of Pure and Applied Mathematics 11 (2), 89-92, 2011 | 8* | 2011 |
Some properties of numberings in various levels in Ershov's hierarchy SS Ospichev Siberian Journal of Pure and Applied Mathematics 10 (4), 125-132, 2010 | 7* | 2010 |
Isomorphism types of Rogers semilattices in the analytical hierarchy N Bazhenov, S Ospichev, M Yamaleev ASPECTS OF COMPUTATION AND AUTOMATA THEORY WITH APPLICATIONS, 97-114, 2024 | 5 | 2024 |
Numberings in the analytical hierarchy NA Bazhenov, M Mustafa, SS Ospichev, MM Yamaleev Algebra and Logic 59, 404-407, 2020 | 5 | 2020 |
Rogers semilattices of punctual numberings N Bazhenov, M Mustafa, S Ospichev Mathematical Structures in Computer Science 32 (2), 164-188, 2022 | 3 | 2022 |
Families with Infinite Rogers Semilattices in Ershov Hierarchy S Ospichev CiE‐2011, Abstract and Handout Booklet.–Sofia: Bulgaria, 174-179, 2011 | 3 | 2011 |
Semilattices of punctual numberings N Bazhenov, M Mustafa, S Ospichev International Conference on Theory and Applications of Models of Computation …, 2020 | 2 | 2020 |
Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings. S Ospichev Journal of Mathematical Sciences 215 (4), 2016 | 2 | 2016 |
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy N Bazhenov, M Mustafa, S Ospichev, L San Mauro Synthese 201 (2), 55, 2023 | 1 | 2023 |
Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy N Bazhenov, M Mustafa, S Ospichev, L San Mauro International Workshop on Logic, Rationality and Interaction, 1-13, 2021 | 1 | 2021 |
On universal pairs in the Ershov hierarchy NA Bazhenov, M Mustafa, SS Ospichev Siberian Mathematical Journal 62 (1), 23-31, 2021 | | 2021 |
Bounded Reducibility for Computable Numberings N Bazhenov, M Mustafa, S Ospichev Conference on Computability in Europe, 96-107, 2019 | | 2019 |
Friedberg numberings of families of partial computable functionals SS Ospichev Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic …, 2019 | | 2019 |
Computable families of sets in Ershov hierarchy without principal numberings SS Ospichev Siberian Journal of Pure and Applied Mathematics 15 (1), 54-62, 2015 | | 2015 |
Numberings in the Analytical Hierarchy MM Yamaleev, SS Ospichev, NA Bazhenov, M Mustafa | | |