Finite model property
id:
finite-model-property-266-14891056
title:
Finite model property
text:
In mathematical logic, a logic L has the finite model property if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem if and only if A is a theorem of the theory of finite models of L. If L is finitely axiomatizable and has the fmp, then it is decidable. However, the result does not hold if L is merely recursively axiomatizable. Even if there are only finitely many finite models to ch
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Finite_model_property
date created:
date modified:
2023-12-24T15:31:54Z
main entity:
{"identifier":"Q5450401","url":"https://www.wikidata.org/entity/Q5450401"}
image:
fields total:
13
integrity:
13