Pretabularity and Craig’s Interpolation Property L. L. MaksimovaV. F. Yun OriginalPaper 19 April 2024
Multi-Agent Temporal Logics, Information, Unification, and Projectivity V. V. Rybakov OriginalPaper 19 April 2024
Faithful Representations of Finite Type for Conformal Lie Algebras R. A. Kozlov COMMUNICATIONS 19 April 2024
The Baer–Suzuki Theorem for Groups of 3-Exponent 1 J. TangN. YangA. S. Mamontov OriginalPaper 19 April 2024
Skew-Symmetric Identities of Finitely Generated Alternative Algebras I. P. Shestakov OriginalPaper 18 April 2024
Axiomatizability of the Class of Subdirectly Irreducible S-Acts over a Commutative Monoid A. A. StepanovaE. L. Efremov OriginalPaper 16 February 2024 Pages: 179 - 200
An Explicit Basis for WCP-Globally Admissible Inference Rules V. V. Rimatskii OriginalPaper 15 February 2024 Pages: 148 - 165
Horizontal Joinability on 5-Dimensional 2-Step Carnot Groups with a Codimension 2 Horizontal Distribution R. I. ZhukovA. V. Greshnov OriginalPaper 15 February 2024 Pages: 137 - 147
Varieties of Exponential R-Groups M. G. AmaglobeliA. G. MyasnikovT. T. Nadiradze OriginalPaper 15 February 2024 Pages: 119 - 136
On p-Index Extremal Groups A. V. Vasil’evI. B. Gorshkov COMMUNICATIONS 03 January 2024 Pages: 94 - 99
Finite Groups with a Soluble Group of Coprime Automorphisms Whose Fixed Points Have Bounded Engel Sinks E. I. KhukhroP. Shumyatsky OriginalPaper 04 January 2024 Pages: 80 - 93
Generic Types and Generic Elements in Divisible Rigid Groups A. G. MyasnikovN. S. Romanovskii OriginalPaper 03 January 2024 Pages: 72 - 79
Shunkov Groups Saturated with Almost Simple Groups N. V. MaslovaA. A. Shlepkin OriginalPaper 28 December 2023 Pages: 66 - 71
Finite 4-Primary Groups with Disconnected Gruenberg–Kegel Graph Containing a Triangle A. S. Kondrat’ev OriginalPaper 03 January 2024 Pages: 54 - 65
Unsolvability of Finite Groups Isospectral to the Automorphism Group of the Second Sporadic Janko Group A. Kh. ZhurtovD. V. LytkinaV. D. Mazurov OriginalPaper 28 December 2023 Pages: 50 - 53
Primitive Prime Divisors of Orders of Suzuki–Ree Groups M. A. Grechkoseeva OriginalPaper 03 January 2024 Pages: 41 - 49
Splitting of Normalizers of Maximal Tori in Finite Groups of Lie Type A. A. GaltA. M. Staroletov OriginalPaper 05 January 2024 Pages: 22 - 40
Toward a Sharp Baer–Suzuki Theorem for the π-Radical: Exceptional Groups of Small Rank Zh. WangW. GuoD. O. Revin OriginalPaper 04 January 2024 Pages: 1 - 21
Generalized Stability of the Class of Injective S-Acts A. A. Stepanova OriginalPaper 01 November 2023 Pages: 537 - 544
Generic Complexity of the Word Problem in Some Semigroups A. N. Rybalov OriginalPaper 15 November 2023 Pages: 524 - 536
Structure of Singular Superalgebras with 2-Dimensional Even Part and New Examples of Singular Superalgebras S. V. PchelintsevO. V. Shashkov OriginalPaper 08 November 2023 Pages: 506 - 523
Cardinality Reduction Theorem for Logics QHC and QH4 A. A. Onoprienko OriginalPaper 08 November 2023 Pages: 491 - 505
Families of Permutations and Ideals of Turing Degrees A. S. MorozovV. G. PuzarenkoM. Kh. Faizrachmanov OriginalPaper 04 December 2023 Pages: 481 - 490
Normal Companions of Intuitionistic Modal Logics S. A. Drobyshevich OriginalPaper 23 November 2023 Pages: 445 - 465
A Criterion for P-Computability of Structures P. E. Alaev COMMUNICATIONS 30 August 2023 Pages: 437 - 441
Modification and Correction of Medvedev’s Example of a Solvable Alternative Algebra I. P. Shestakov OriginalPaper 06 September 2023 Pages: 420 - 436
Dynamic Temporal Logical Operations in Multi-Agent Logics V. V. Rybakov OriginalPaper 30 August 2023 Pages: 407 - 419
Partial Hopf–Galois Theory F. CastroD. FreitasT. Tamusiunas OriginalPaper 04 September 2023 Pages: 385 - 406
A Class of Low Linear Orders Having Computable Presentations M. V. Zubkov OriginalPaper 23 August 2023 Pages: 372 - 384
Pre-Minimal Pairs and Homogeneous Valuations Yu. L. Ershov OriginalPaper 30 August 2023 Pages: 363 - 371
Intersection of Centralizers in a Partially Commutative Metabelian Group E. I. Timoshenko OriginalPaper 19 April 2023 Pages: 328 - 340
Complexity of the Problem of Being Equivalent to Horn Formulas. II N. T. Kogabaev OriginalPaper 28 April 2023 Pages: 318 - 327
Minimal Nonzero L-Varieties of Vector Spaces Over the Field ℤ2 A. V. Kislitsin OriginalPaper 20 April 2023 Pages: 313 - 317
Boolean Algebras Autostable Relative to n-Decidable Presentations M. N. Gaskova OriginalPaper 20 April 2023 Pages: 301 - 312
A Criterion for Nonsolvability of a Finite Group and Recognition of Direct Squares of Simple Groups Zh. WangA. V. Vasil’evA. Kh. Zhurtov OriginalPaper 05 April 2023 Pages: 288 - 300
Versions of a Local Contraction Subexponential in the Lambek Calculus M. V. Valinkin OriginalPaper 26 April 2023 Pages: 271 - 287
Algebraic Properties of Subquasigroups and Construction of Finite Quasigroups V. A. ArtamonovS. ChakrabartiV. T. Markov OriginalPaper 24 April 2023 Pages: 251 - 270