1. 2018
  2. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

    Karpenko, A., 1 Jan 2018, LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. Odintsov, S. (ed.). Springer Open, p. 171-183 13 p. (Outstanding Contributions to Logic; vol. 15).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  3. Definable Sets in Generic Structures and their Cardinalities

    Kiouvrekis, Y., Stefaneas, P. & Sudoplatov, S. V., 1 Jan 2018, In: Siberian Advances in Mathematics. 28, 1, p. 39-52 14 p.

    Research output: Contribution to journalArticlepeer-review

  4. On freedom and independence in hypergraphs of models of theories

    Kulpeshov, B. S. & Sudoplatov, S. V., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 612-630 19 p.

    Research output: Contribution to journalArticlepeer-review

  5. On relative separability in hypergraphs of models of theories

    Kulpeshov, B. S. & Sudoplatov, S. V., 1 Jan 2018, In: Eurasian Mathematical Journal. 9, 4, p. 68-78 11 p.

    Research output: Contribution to journalArticlepeer-review

  6. Polynomial-time presentations of algebraic number fields

    Alaev, P. & Selivanov, V., 1 Jan 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (eds.). Springer, p. 20-29 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  7. Pronormality of Hall Subgroups in Their Normal Closure

    Vdovin, E. P., Nesterov, M. N. & Revin, D. O., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 451-457 7 p.

    Research output: Contribution to journalArticlepeer-review

  8. Recognizability of All WIP-Minimal Logics

    Yun, V. F., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 179-188 10 p.

    Research output: Contribution to journalArticlepeer-review

  9. Strong computability of slices over the logic Gl

    Maksimova, L. L. V. & Yun, V. F., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 35-47 13 p.

    Research output: Contribution to journalArticlepeer-review

  10. Structures Computable in Polynomial Time. II

    Alaev, P. E., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 429-442 14 p.

    Research output: Contribution to journalArticlepeer-review

  11. The Number of Sylow Subgroups in Special Linear Groups of Degree 2

    Wu, Z., Guo, W. & Vdovin, E. P., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 498-501 4 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3082938