Ключевые слова: логика, вычислимость.

Основные темы научной работы:

Мои основные научные интересы лежат в области математической логики и теории вычислимости.

Основные публикации:

1. S. O. Speranski, A. V. Grefenshtein, “On the complexity of first-order logics of probability”, Изв. РАН. Сер. матем., 90:4 (2026), (в печати)
2. 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

Публикации в базе данных Math-Net.Ru

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва