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