Finite Model Property
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A property of a formal logic or theory stating that every sentence or formula that is satisfiable (has a model) has a finite model.