Re: A Logical Model for Lists as Relations

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 11 May 2006 21:15:52 -0700
Message-ID: <1147407352.806745.271870@y43g2000cwc.googlegroups.com>

vc wrote:
> Vadim Tropashko wrote:
> [...]
> > To reply to another thread where Bob raised the utility question, it is
> > undoubtful that sequences appear all over the math. Arguably, sequence
> > is even more frequently occuring concept than set.
>
> Surely, the sequence is defined in terms of sets, no ? (although,
> that depends on your definion of the sequence).

Don't you need ordered pair definition as well? I refuse to accept Kuratovski set trick as ordered pair representation in terms of sets.

Alternatively, a sequence can be defined axiomatically via Kleene algebra. Received on Thu May 11 2006 - 23:15:52 CDT