Reputation
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
6 18
Newest
 Yearling
Impact
~65k people reached

Dec
1
comment Another way to express certain filter
The other direction is surprisingly difficult
Dec
1
comment Another way to express certain filter
In one direction: Let $X \in [\mathcal{A}]_{\mathfrak{B}}$. Then $\exists Y' \in \mathcal{A} : X \geq Y'$. Thus if $Y \geq X$ for $Y \in \mathfrak{A}$ then $Y \geq Y'$ and thus $Y \in \mathcal{A}$. So $\forall Y \in \mathfrak{A}: (Y \geq X \Rightarrow Y \in \mathcal{A})$.
Dec
1
revised Another way to express certain filter
added 60 characters in body
Dec
1
asked Another way to express certain filter
Oct
17
asked Compact frames, an equivalent reformulation
Oct
15
revised Is the locale of filters on an arbitrary lattice compact?
lcoale -> lattice
Oct
15
asked Is the locale of filters on an arbitrary lattice compact?
Oct
15
accepted A filtered poset and a filtered diagram (category)
Oct
14
asked A filtered poset and a filtered diagram (category)
Sep
25
accepted Equality of two expressions describing a filter
Sep
24
revised Equality of two expressions describing a filter
added 130 characters in body
Sep
24
comment Equality of two expressions describing a filter
@AndreasBlass: Thanks, it was my error. Now have been corrected
Sep
24
revised Equality of two expressions describing a filter
U -> W; edited tags
Sep
24
comment Equality of two expressions describing a filter
@StevenStadnicki: It seems that $T$ does not witness that $V$ can't be in (2).
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: No, I have edited the question, and now 2. means the filter(?) on the boolean lattice $U$ consisting of all elements $L\in U$ such that every $X$ majorating $L$ is an element of the filter $f$
Sep
24
revised Equality of two expressions describing a filter
clarity
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: Yes, I was wrong. I will edit the question.
Sep
24
revised Equality of two expressions describing a filter
Corrected error: sets -> boolean lattices
Sep
24
comment Equality of two expressions describing a filter
@TomCruise: I don't understand your question. By $Y\in U$ I mean that $Y$ is an elemetn of the set $U$.
Sep
24
awarded  Autobiographer