MIPT-ML-20-Lect-23
Математическая логика в МФТИ для ПМФ. Темы: теории; логическое следование; теория плотных линейных порядков DLO; метод "туда-обратно": изоморфизм счетных моделей теории DLO; игра Эренфойхта; элементарная эквивалентность моделей теории DLO; полные теории; аксиоматизация элементарных теорий структур.
Математическая логика в МФТИ для ПМФ. Темы: теории; логическое следование; теория плотных линейных порядков DLO; метод "туда-обратно": изоморфизм счетных моделей теории DLO; игра Эренфойхта; элементарная эквивалентность моделей теории DLO; полные теории; аксиоматизация элементарных теорий структур.