Re: deductive databases
From: Torkel Franzen <torkel_at_sm.luth.se>
Date: 23 May 2005 22:13:37 +0200
Message-ID: <vcbll65d7ke.fsf_at_beta19.sm.ltu.se>
Date: 23 May 2005 22:13:37 +0200
Message-ID: <vcbll65d7ke.fsf_at_beta19.sm.ltu.se>
Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be> writes:
> I don't understand how compactness applies if all models that we
> consider are infinite. Can you explain this?
The compactness theorem states that if every finite subset of a set K of sentences has a model, K has a model. The theorem presupposes infinite models. It is not the case that if every finite subset of K has a finite model, K has a finite model. So it's not clear to me what you have in mind. Received on Mon May 23 2005 - 22:13:37 CEST