ladkin@KESTREL.ARPA.UUCP (02/11/87)
Walter Hamscher writes: > Here's one way to characterize richness: A is richer than B if symbol > structures in A can finitely denote facts (i.e., the interpreter can > interpret as) that B can't. I suppose the intention of `richer than' is to be an aymmetric comparative. Thus, he needs to add some condition such as: A can also finitely denote all facts that B can't to rule out cases where both A is richer than B and B is richer than A. A case of this would be first-order logic and modal logic. Each may express conditions that are inexpressible in the other (e.g. irreflexivity for modal logic, well-cappedness for first-order logic). peter ladkin ladkin@kestrel.arpa