[Inquiry] Re: Questions Involving Pure Symbols -- Discussion

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

QUIPS.  Discussion Note 55

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

JW = Jim Willgoose

Re: QUIPS-DIS 53.  http://stderr.org/pipermail/inquiry/2005-May/002752.html
In: QUIPS-DIS.     http://stderr.org/pipermail/inquiry/2005-May/thread.html#2602

JW: Thanks for the response.  Suppose one defines a collection of k-tuples
    for the relation L.  The members  of the collection are k-tuples.  For
    manageability, when I "reach" into that collection I want to pull out
    one member at a time.  What I do not want to do is pull on any member
    and have a chain of all members come out.  But supposing the latter
    happens, what is the number of k-tuples in L and what is the adicity
    of the relation?

Jim,

It is possible to contemplate relations that do not have a fixed adicity,
but it makes sense to start with simpler types of things, and so we have
been looking at relations with a fixed and finite adicity k, and these
have k-tuples as their elements.  The number of k-tuples in a k-adic
relation is however many we chose to consider in a given discussion.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o