Weakly compact cardinal

ID: weakly-compact-cardinal

An uncountable cardinal is weakly compact when every -satisfiable theory in an language having at most nonlogical symbols is satisfiable.

New to topics? Read the docs here!