HRUMC Spring 2021: What is Model Theory?

• Watch on Youtube
• Beamer Presentation
• Play an Ehrenfeucht-Fraisse Game yourself:
  • Ehrenfeucht-Fraisse Game on Finite Graphs
  • More Ehrenfeucht-Fraisse Games here:
    • Infinite Linear Orderings
    • Finite Linear Orderings (with AI)