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!
New to topics? Read the docs here!