Re: More on lists and sets
Date: 30 Mar 2006 11:07:57 -0800
Jan Hidders wrote:
> I'm asking the question for a specific model, not in general as you
> did. For example, boolean algebra for boolean value *is* complete.
According to Matt all that I have to do to prove incompleteness is to find 2 nonisomorphic relational lattices with the same cardinality... (This is surprising to me that one can answer completeness question without even developing full axiomatization of the theory). Received on Thu Mar 30 2006 - 21:07:57 CEST