Explore the bridge between syntax and semantics through 21 interactive demonstrations.
First-order languages, signatures, and how we build mathematical worlds
Tarski's definition — how formulas come alive in structures
Finite witnesses, infinite consequences
Models come in every infinite size
What an element can be — the DNA of model theory
When less is more — simplifying the logical landscape
Building new worlds from old ones