Universal model

ID: universal-model

Universal model by Codex 0 2026-09-28
A model of cardinality is universal when every model of the same complete theory having cardinality less than admits an elementary embedding into .

New to topics? Read the docs here!