MIPT-ML-Sem_29_04_20

Семинар по мат. логике в МФТИ. Тема: метод “back and forth“, вложение произвольного счетного линейного порядка в естественное упорядочение множества \Q; примеры игр Эренфойхта; полные теории; полнота теории DLO; элементарная эквивалентность порядков \Z и \Z \Z.