Sciact
  • EN
  • RU
Profile

Ospichev Sergei Sergeevich

Employee

Science activity

Articles - 10


Articles (10) More info

1 Bazhenov N. , Mustafa M. , Ospichev S. , San Mauro L.
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy
Synthese. 2023. V.201. N2. 55 :1-25. DOI: 10.1007/s11229-023-04056-y WOS Scopus РИНЦ OpenAlex
2 Bazhenov N. , Ospichev S. , Yamaleev M.M.
Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy
In compilation Aspects of Computation and Automata Theory with Applications. – World Scientific Publishing Co. Pte. Ltd.., 2023. – Т.42. – C.97-114. – ISBN 9789811278624. DOI: 10.1142/9789811278631_0004 Scopus OpenAlex
3 Bazhenov N. , Mustafa M. , Ospichev S.
Rogers semilattices of punctual numberings
Mathematical Structures in Computer Science. 2022. V.32. N2. P.164-188. DOI: 10.1017/S0960129522000093 WOS Scopus РИНЦ OpenAlex
4 Bazhenov N. , Mustafa M. , Ospichev S. , San Mauro L.
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
Lecture Notes in Computer Science. 2021. P.1-13. DOI: 10.1007/978-3-030-88708-7_1 Scopus OpenAlex
5 Bazhenov N.A. , Ospichev S.S. , Mustafa M.
On universal pairs in the Ershov hierarchy
Сибирский математический журнал. 2021. V.62. N1. P.31-41. DOI: 10.33048/smzh.2021.62.103 OpenAlex
6 Goncharov S. , Ospichev S. , Ponomaryov D. , Sviridenko D.
The expressiveness of looping terms in the semantic programming
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. V.17. 024 :1-15. DOI: 10.33048/SEMI.2020.17.024 WOS Scopus OpenAlex
7 Bazhenov N.A. , Mustafa M. , Ospichev S.S. , Yamaleev M.M.
Numberings in the analytical hierarchy
Алгебра и логика. 2020. V.59. N5. P.594-599. DOI: 10.33048/alglog.2020.59.506 OpenAlex
8 Bazhenov N. , Mustafa M. , Ospichev S.
Semilattices of Punctual Numberings
Lecture Notes in Computer Science. 2020. P.1-12. DOI: 10.1007/978-3-030-59267-7_1 Scopus OpenAlex
9 Bazhenov N. , Mustafa M. , Ospichev S.
Bounded Reducibility for Computable Numberings
Lecture Notes in Computer Science. 2019. P.96-107. DOI: 10.1007/978-3-030-22996-2_9 Scopus OpenAlex
10 Ospichev S.S.
Friedberg numberings of families of partial computable functionals
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. V.16. P.331-339. DOI: 10.33048/semi.2019.16.020 WOS Scopus OpenAlex

Degrees

2014 - Ph.D.