Keywords: mathematical logic, computability theory
Subject:
My main research interests lie in the field of mathematical logic and computability theory.
Main publications:
S. O. Speranski, A. V. Grefenshtein, “On the complexity of first-order logics of probability”, Izv. Math., 90:4 (2026), (to appear)
A. V. Grefenshtein, “Infinitary calculus for first-order logic of probability with distribution on the domain”, Journal of Logic and Computation, 35:5 (2025), exaf039
