Reputation
1,431
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
6 19
Newest
 Custodian
Impact
~67k people reached

Dec
1
revised Another way to express certain filter
deleted 8 characters in body
Dec
1
answered Another way to express certain filter
Dec
1
revised Another way to express certain filter
edited body
Dec
1
revised Another way to express certain filter
added 39 characters in body
Dec
1
revised Another way to express certain filter
added 3 characters in body
Dec
1
revised Another way to express certain filter
added 240 characters in body
Dec
1
revised Another way to express certain filter
added 179 characters in body
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