Re: Columns without names

While I have your attention perhaps you might also clarify a distinction that I previously had:

I was under the impression that - given that the extension of a predicate is the set of true propositions that can be formed by substituting a term for each of its free variables - a predicate /always/ has an extension. In contrast a set defined such as { m/n : m,n E Z & n!=0 } (rational numbers) is infinite and cannot be enumerated.

Is this distinction incorrect? Received on Tue Sep 19 2006 - 21:34:55 CDT