Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Victor Porton

Posts: 522
Registered: 8/1/05
Re: Principal Reliods
Posted: Nov 4, 2013 5:55 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

William Elliot wrote:

> F_A = pricnipal filter for S generated by {A} (A subset S).
> F(C) = the filter for S generated by C subset P(S).
>
> Theorem. If for all j in J, Aj subset S, then /\_j F_Aj = F_(\/_j Aj),
> The interseciton of principal filters is a principal filter.
>
> Do you already have a proof for that theorem?
> It's a one, or at most, two line proof.


In my book:

Corollary 4.86. \uparrow is an order embedding from Z to P.

(Here Z is a set and P is the corresponding set of principal filter.)


Date Subject Author
10/25/13
Read Which term to choose?
Victor Porton
10/25/13
Read Re: Which term to choose?
Peter Percival
10/25/13
Read Re: Which term to choose?
fom
10/25/13
Read Re: Which term to choose?
William Elliot
10/26/13
Read Re: Which term to choose?
William Elliot
10/26/13
Read Re: Which term to choose?
Victor Porton
10/26/13
Read Re: Which term to choose?
William Elliot
10/27/13
Read Re: Which term to choose?
Victor Porton
10/27/13
Read Re: Which term to choose?
William Elliot
10/28/13
Read Re: Which term to choose?
Victor Porton
10/29/13
Read Re: Which term to choose?
William Elliot
10/29/13
Read Re: Which term to choose?
Victor Porton
10/30/13
Read Principal Reliods
William Elliot
10/30/13
Read Re: Principal Reliods
Victor Porton
10/30/13
Read Re: Principal Reliods
William Elliot
10/31/13
Read Re: Principal Reliods
Victor Porton
11/1/13
Read Re: Principal Reliods
William Elliot
11/1/13
Read Re: Principal Reliods
Victor Porton
11/1/13
Read Re: Principal Reliods
William Elliot
11/2/13
Read Re: Principal Reliods
Victor Porton
11/2/13
Read Re: Principal Reliods
William Elliot
11/3/13
Read Re: Principal Reliods
Victor Porton
11/3/13
Read Re: Principal Reliods
Victor Porton
11/3/13
Read Re: Principal Reliods
William Elliot
11/4/13
Read Principal Reliods
William Elliot
11/4/13
Read Re: Principal Reliods
Victor Porton
11/5/13
Read Re: Principal Reliods
William Elliot
11/5/13
Read Re: Principal Reliods
Victor Porton
11/6/13
Read Partition of a filter
William Elliot
11/6/13
Read Re: Partition of a filter
Victor Porton
11/6/13
Read Re: Partition of a filter
William Elliot
11/7/13
Read Re: Partition of a filter
Victor Porton
11/7/13
Read Re: Partition of a filter
William Elliot
11/8/13
Read Partition of a filter
William Elliot
11/8/13
Read Re: Partition of a filter
Victor Porton
11/8/13
Read Re: Partition of a filter
William Elliot
11/9/13
Read Re: Partition of a filter
Victor Porton
11/9/13
Read Re: Partition of a filter
William Elliot
11/9/13
Read Re: Partition of a filter
William Elliot
11/9/13
Read Re: Partition of a filter
Victor Porton
10/26/13
Read Re: Which term to choose?
Victor Porton
11/4/13
Read Re: Which term to choose?
aliahmadikram

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.