Mars Yamaleev
Mars Yamaleev
Подтвержден адрес электронной почты в домене kpfu.ru
Название
Процитировано
Процитировано
Год
Isolation: motivations and applications
W Guohua, YM Mansurovich
Ученые записки Казанского университета. Серия Физико-математические науки …, 2012
122012
Degrees of categoricity and spectral dimension
NA Bazhenov, IS Kalimullin, MM Yamaleev
The Journal of Symbolic Logic 83 (1), 103-116, 2018
11*2018
Degrees of categoricity vs. strong degrees of categoricity
NA Bazhenov, IS Kalimullin, MM Yamaleev
Algebra and Logic 55 (2), 173-177, 2016
72016
On a problem of Ishmukhametov
C Fang, G Wu, M Yamaleev
Archive for Mathematical Logic 52 (7-8), 733-741, 2013
62013
Splitting in 2-computably enumerable degrees with avoiding cones
MM Yamaleev
Russian Mathematics 53 (6), 63-66, 2009
62009
Elementary theories and hereditary undecidability for semilattices of numberings
N Bazhenov, M Mustafa, M Yamaleev
Archive for Mathematical Logic 58 (3), 485-500, 2019
42019
Degrees of categoricity of rigid structures
NA Bazhenov, MM Yamaleev
Conference on Computability in Europe, 152-161, 2017
42017
Downward density of exact degrees
J Liu, G Wu, M Yamaleev
Lobachevskii Journal of Mathematics 36 (4), 389-398, 2015
42015
Classifying equivalence relations in the Ershov hierarchy
N Bazhenov, M Mustafa, L San Mauro, A Sorbi, M Yamaleev
Archive for Mathematical Logic, 1-30, 2020
32020
Turing degrees in refinements of the arithmetical hierarchy
VL Selivanov, MM Yamaleev
Algebra and Logic 57 (3), 222-236, 2018
32018
On the problem of definability of the computably enumerable degrees in the difference hierarchy
MM Arslanov, MM Yamaleev
Lobachevskii Journal of Mathematics 39 (5), 634-638, 2018
32018
Nonexistence of Minimal Pairs in
C Fang, J Liu, G Wu, MM Yamaleev
Conference on Computability in Europe, 177-185, 2015
32015
Isomorphism types of Rogers semilattices in the analytical hierarchy
N Bazhenov, S Ospichev, M Yamaleev
arXiv preprint arXiv:1912.05226, 2019
22019
О тьюринговых степенях в утончениях арифметической иерархии
ВЛ Селиванов, ММ Ямалеев
Алгебра и логика 57 (3), 338-361, 2018
22018
There Are No Maximal d.c.e. wtt-degrees
G Wu, MM Yamaleev
Computability and Complexity, 479-486, 2017
22017
Nondensity of double bubbles in the DCE degrees
U Andrews, R Kuyper, S Lempp, MI Soskova, MM Yamaleev
Computability and Complexity, 547-562, 2017
22017
Low ce and low 2-ce degrees are not elementarily equivalent
MM Yamaleev
The Bulletin of Symbolic Logic 15, 131, 2009
22009
Numberings in the analytical hierarchy
NA Bazhenov, M Mustafa, SS Ospichev, MM Yamaleev
Algebra and Logic 59 (5), 404-407, 2020
12020
Computable isomorphisms of distributive lattices
N Bazhenov, M Mustafa, M Yamaleev
International Conference on Theory and Applications of Models of Computation …, 2019
12019
Extending Cooper’s theorem to Δ30 Turing degrees
VL Selivanov, MM Yamaleev
Computability 7 (2-3), 289-300, 2018
12018
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20