Аннотация:
На предыдущем докладе мы сделали небольшой обзор результатов, связанных с понятием о-минимальности, и начали доказывать основной результат об интерпретируемости областей целостности в о-минимальных обогащениях вещественно замкнутых полей. Настоящий доклад начнётся с повторения схемы доказательства результатов, которые обсуждались ранее, в том числе мы остановимся подробнее на местах, которые «заметались под ковёр». Далее, мы завершим доказательство основного результата, идея которого кратко обсуждалась в конце предыдущего доклада. Кроме того, мы обсудим схему доказательства результатов, на которые мы ссылались (в частности, о введении структуры определимого многообразия на определимых группах).
