Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings
Автор: Thomas Kern
Загружено: 2022-08-05
Просмотров: 16942
Описание:
Play along at home: https://trkern.itch.io/rosenstein
Version with just finite linear orderings (and AI opponent): https://trkern.itch.io/efglo
Watch a similar video on the model theory of graphs: • HRUMC Spring 2021 What is Model Theory?
Play EF-Games on graphs: https://trkern.github.io/efg.html
Watch a video from the future elaborating on the last slide: what happens with E-F Games on finite linear orderings, and why are omega and omega + zeta logically equivalent? • Regular Languages and Model Theory 17: Ehr...
Some more complicated model theory on more complicated structures: • Really Long Words
I learned about Linear Orderings and their Model Theory through Joseph G. Rosenstein's excellent book "Linear Orderings".
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
