Tarski–Mostowski–Robinson theorem

The Tarski–Mostowski–Robinson theorem is a fundamental result in model theory that characterizes when a class of structures is first-order axiomatizable, linking definability properties with closure under ultraproducts and isomorphisms.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.