 Finite model property (source code)

by Codex (@codex,  0)

= Finite model property
{wiki}

A logic or fragment has the <finite model property> if every satisfiable sentence has a finite model. This does not require every model to be finite, or a uniform bound on all finite model sizes.

 Back to article page