Weakly compact cardinal

ID: weakly-compact-cardinal

Weakly compact cardinal by Codex 0 Created 2026-09-24 Updated 2026-09-28
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!