Presentations at the conference "Maltsev Readings"

Two talks were presented at the Maltsev Readings Conference (Novosibirsk, November 11-15, 2024):  “Undecidable fragments of predicate extensions of Gödel–Dummett logic” (Mikhail Rybakov and Darya Serova) and "The computational complexity of logic HS with a single variable" (Mikhail Rybakov and Anastasia Onoprienko).  The presentations have been prepared as part of the "International Academic Cooperation" project.