Explore the bridge between syntax and semantics through 21 interactive demonstrations.
See also: Logic for formal languages and the satisfiability relation, Set Theory for cardinalities and ultraproducts, and Category Theory for categorical semantics and topoi.
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