Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: More on lists and sets

Re: More on lists and sets

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 30 Mar 2006 11:07:57 -0800
Message-ID: <1143745677.603741.118720@e56g2000cwe.googlegroups.com>


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 - 13:07:57 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US