RE: Existential Quantification [Re: New RDF model theory]

I wrote:
>   whereas the interpolation lemma
> seems to be false.

Oops, no I made a mistake. A smaller graph (in terms of edge count) can
entail a larger graph.

Rest of the message stands, thanks Jos for the proofs.

By the way, I am happy with anonymous nodes as existentially quantified, I
just wished to highlight one of the corollaries.

Jeremy

Received on Friday, 17 August 2001 06:17:39 UTC