Re: A Logical Model for Lists as Relations

Mikito Harakiri wrote:
[...]
> Don't you need ordered pair definition as well? I refuse to accept
> Kuratovski set trick as ordered pair representation in terms of sets.
>

It sounds capricious. The pair does the required job, and besides there are alternative definitions of the ordered pair (Quine' for example).

> Alternatively, a sequence can be defined axiomatically via Kleene
> algebra.

Why proliferate unnecessarily the number of primitives ? Received on Fri May 12 2006 - 12:19:58 CEST