浏览标题索引

标题 文件
卷 55, 编号 4 (2016) The Class of Bounded Lattices Is Not Axiomatizable
Schwidefsky M.
卷 56, 编号 1 (2017) The Computational Power of Infinite Time Blum–Shub–Smale Machines
Koepke P., Morozov A.
卷 56, 编号 2 (2017) The Criterion of Shmel’kin and Varieties Generated by Wreath Products of Finite Groups
Mikaelian V.
卷 56, 编号 2 (2017) The Diversity of Categoricity Without Delay
Kalimullin I., Melnikov A., Ng K.
卷 56, 编号 1 (2017) The Embedding Problem for Computable Projective Planes
Kogabaev N.
卷 58, 编号 2 (2019) The Interpolation Problem in Finite-Layered Pre-Heyting Logics
Maksimova L., Yun V.
卷 56, 编号 3 (2017) The Isomorphism Problem for Generalized Baumslag–Solitar Groups with One Mobile Edge
Dudkin F.
卷 56, 编号 6 (2018) The Number of Sylow Subgroups in Special Linear Groups of Degree 2
Wu Z., Guo W., Vdovin E.
卷 55, 编号 1 (2016) The Schur–Wielandt Theory for Central S-Rings
Muzychuk M., Ponomarenko I., Chen G.
卷 56, 编号 5 (2017) The Specht Property of L-Varieties of Vector Spaces
Kislitsin A.
卷 57, 编号 5 (2018) The Specht Property of L-Varieties of Vector Spaces Over an Arbitrary Field
Kislitsin A.
卷 57, 编号 2 (2018) The Tensor Completion Functor in Categories of Exponential MR-Groups
Amaglobeli M.
卷 57, 编号 4 (2018) Theories of Relatively Free Solvable Groups with Extra Predicate
Timoshenko E.
卷 57, 编号 3 (2018) Turing Degrees in Refinements of the Arithmetical Hierarchy
Selivanov V., Yamaleev M.
卷 58, 编号 3 (2019) Turing Degrees of Complete Formulas of Almost Prime Models
Goncharov S., Miller R., Harizanov V.
卷 55, 编号 4 (2016) Undecidable Iterative Propositional Calculus
Bokov G.
卷 55, 编号 4 (2016) Universal Algebraic Geometry with Relation ≠
Shevlyakov A.
卷 58, 编号 1 (2019) Universal Enveloping Lie Rota–Baxter Algebras of Pre-Lie and Post-Lie Algebras
Gubarev V.
卷 58, 编号 4 (2019) Universal Equivalence of Linear Groups Over Local Commutative Rings with 1/2
Kaleeva G.
卷 56, 编号 2 (2017) Universal Equivalence of Partially Commutative Lie Algebras
Poroshenko E.
卷 57, 编号 4 (2018) Universal Functions and Unbounded Branching Trees
Khisamiev A.
卷 56, 编号 4 (2017) Universal Generalized Computable Numberings and Hyperimmunity
Faizrakhmanov M.
卷 56, 编号 2 (2017) Universal Invariants for Classes of Abelian Groups
Mishchenko A., Remeslennikov V., Treier A.
卷 58, 编号 3 (2019) Universal Theories and Centralizer Dimensions of Groups
Timoshenko E.
卷 58, 编号 3 (2019) Weakly Precomplete Equivalence Relations in the Ershov Hierarchy
Bazhenov N., Kalmurzaev B.
176 - 200 的 201 信息 << < 3 4 5 6 7 8 9 > >>