Теория определимости

Теория определимости изучает вопрос о том, как одно отношение можно определить через другие, она имеет почтенную историю, начиная с XIX века и даже ранее. Существенный вклад в развитие теории определимости сделал Альфред Тарский, ключевым результатом здесь стала Теорема Свенониуса 1959 г. – «Теорема полноты» для определимости.

В последующие десятилетия был получен ряд результатов, относящихся к конечным решеткам определимости однородных структур. В последние годы руководители семинара выработали подходы и получили результаты для неоднородных структур с бесконечными решетками определимости.

В рамках семинара будет, с одной стороны, сделан ряд реферативных докладов, вводящих участников, начиная со школьников и студентов 1-го курса, в тематику определимости. С другой стороны, с самого начала участникам будут предложены исследовательские задачи и намечены пути их решения. Среди тем первых заседаний Семинара будут решения задач участниками Летней конференции «Турнира городов» - 2021.