Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Which term to choose?
Replies: 41   Last Post: Nov 9, 2013 5:20 AM

 Messages: [ Previous | Next ]
 William Elliot Posts: 2,427 Registered: 1/8/12
Re: Which term to choose?
Posted: Oct 27, 2013 9:13 PM

On Sun, 27 Oct 2013, Victor Porton wrote:

> >> > Is this it? Let F be a principal filter for XxY
> >> > and for all j in J, Gj a filter for YxZ. Then
> >> > . . F o /\_j Gj = /\{ F o Gj | j in J }.
> >> >
> >> > Also if F filter for XxY, G,H filter for YxZ, then
> >> > . . F o G/\H = FoG /\ FoH.

> >>
> >> Yes, these two theorems are correct.

> >> I know no other distributive theorems of reloids.
> > But you said you wrote a whold chapter about that.
>
> I wrote a chapter with the proof that for every principal reloid F
> F o /\_j Gj = /\{ F o Gj | j in J }.
>

Why a whold chapter? The proof is so short and the topic so basic
that it should be included in the basic chapter on reloids.

Anyway, that shows that principal reliods with composition
are order dual to quantales.

Date Subject Author
10/25/13 Victor Porton
10/25/13 Peter Percival
10/25/13 fom
10/25/13 William Elliot
10/26/13 William Elliot
10/26/13 Victor Porton
10/26/13 William Elliot
10/27/13 Victor Porton
10/27/13 William Elliot
10/28/13 Victor Porton
10/29/13 William Elliot
10/29/13 Victor Porton
10/30/13 William Elliot
10/30/13 Victor Porton
10/30/13 William Elliot
10/31/13 Victor Porton
11/1/13 William Elliot
11/1/13 Victor Porton
11/1/13 William Elliot
11/2/13 Victor Porton
11/2/13 William Elliot
11/3/13 Victor Porton
11/3/13 Victor Porton
11/3/13 William Elliot
11/4/13 William Elliot
11/4/13 Victor Porton
11/5/13 William Elliot
11/5/13 Victor Porton
11/6/13 William Elliot
11/6/13 Victor Porton
11/6/13 William Elliot
11/7/13 Victor Porton
11/7/13 William Elliot
11/8/13 William Elliot
11/8/13 Victor Porton
11/8/13 William Elliot
11/9/13 Victor Porton
11/9/13 William Elliot
11/9/13 William Elliot
11/9/13 Victor Porton
10/26/13 Victor Porton