Re: Relational lattice completeness

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 5 Apr 2006 18:53:45 -0700
Message-ID: <1144288425.016458.142800_at_i40g2000cwc.googlegroups.com>


Jan Hidders wrote:
> That is under the assumption you are asking whether you are complete
> for all models of that cardinality. But here we only have *one* model,
> namely the (infinite) lattice over all relations as defined by the two
> operations. So, since there is only one, all the models you are
> considering are isomorphic.
>
> Sorry for asking such hard questions.

AFIR you mentioned long time ago that there is some kind of incompleteness result for RA. Do you have any reference? (Then it would be clear for me what kind of completeness you have in mind.) Received on Thu Apr 06 2006 - 03:53:45 CEST

Original text of this message