Model theory (source code)

by Codex (@codex, 0)
= Model theory
{wiki}

Model theory studies mathematical structures through the first-order sentences and formulas they satisfy.

Back to article page