Mars M. Yamaleev

13 papers C 4Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
On cupping and Ahmad Pairs.
J. Symb. Log.
Iskander Sh. Kalimullin, Steffen Lempp, Keng Meng Ng, Mars M. Yamaleev
2020 J jnl
Classifying equivalence relations in the Ershov hierarchy.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev
2020 J jnl
Turing reducibility in the fine hierarchy.
Ann. Pure Appl. Log.
Alexander G. Melnikov, Victor L. Selivanov, Mars M. Yamaleev
2019 C conf
Computable Isomorphisms of Distributive Lattices.
TAMC
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Elementary theories and hereditary undecidability for semilattices of numberings.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 C conf
The d.r.e wtt-Degrees are Dense.
CiE
Shaoyi Wang, Guohua Wu, Mars M. Yamaleev
2018 J jnl
Degrees of Categoricity and spectral Dimension.
J. Symb. Log.
Nikolay Bazhenov, Iskander Sh. Kalimullin, Mars M. Yamaleev
2018 J jnl
Extending Cooper's theorem to Δ 3 0 Turing degrees.
Comput.
Victor L. Selivanov, Mars M. Yamaleev
2017 C conf
Degrees of Categoricity of Rigid Structures.
CiE
Nikolay Bazhenov, Mars M. Yamaleev
2017 — conf
Nondensity of Double Bubbles in the D.C.E. Degrees.
Computability and Complexity
Uri Andrews, Rutger Kuyper, Steffen Lempp, Mariya Ivanova Soskova, Mars M. Yamaleev
2017 — conf
There Are No Maximal d.c.e. wtt-degrees.
Computability and Complexity
Guohua Wu, Mars M. Yamaleev
2015 C conf
Nonexistence of Minimal Pairs in L[d].
CiE
Chengling Fang, Jiang Liu, Guohua Wu, Mars M. Yamaleev
2013 J jnl
On a problem of Ishmukhametov.
Arch. Math. Log.
Chengling Fang, Guohua Wu, Mars M. Yamaleev