[FOM] A little trouble with definition of "binary relation" in Wikipedia (fwd)

[William Tait]

Ax{0}uBx{1} will work for the ordered pair of A and B.

Bill Tait

On Jan 31, 2007, at 8:33 PM, Robert M. Solovay (by way of Martin  
Davis	<martin at eipye.com>) wrote:

> This doesn't work. The cartesian product of two factors [at least one
> of which is the null set] is null.
>
>          --Bob Solovay
>
> On Mon, 29 Jan 2007, Thomas Forster wrote:
>
>> Yes, there are such theories but you don't need them. (In  
>> particular you
>> don't need to know about Ackermann set theory!)  When you want an  
>> ordered
>> pair of two NBG-style proper classes, use their (Wiener-Kuratowski)
>> cartesian product instead: there is nothing sacred about the
>> Wiener-Kuratowski implementation of pairing and unpairing.
>> If you are unhappy about having a different implementation of
>> pairing-and-unpairing for sets and for proper classes, then use  
>> the same
>> (cartesian-product-using-W-K-pairs) for both!
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom