#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)

17.02.2025, jointly with S.I. Adian seminar

Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)

In this talk I will focus on three things:

1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.

2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.

3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК