Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
The theory of lattices in the sense of order theory. For the number-theoretic notion, use the tag "lattices" instead.
7
votes
Accepted
Can any poset of cardinality $\leq 2^{\aleph_0}$ be embedded in ${\cal P}(\omega)/(\text{fin...
Here is an attempt at a 'definitive summary'.
To begin with positive results: $\mathsf{CH}$ implies a “yes” answer to
this question. The fastest way to see this is to first embed a given partial
order …
6
votes
Accepted
Can the Boolean Algebra of regular open sets be isomorphic to ${\cal P}(\omega)/(\text{fin})$?
No, $\mathrm{RO}(X)$ is complete; $\mathcal{P}(\omega)/\mathit{fin}$ is not (no strictly increasing sequence has a supremum).
5
votes
Accepted
A problem of non-emptiness of intersections of certain chains of regular open sets
Here is a provisional negative answer.
If $\mathcal{C}$ is a c-minimal chain then $N=\bigcap\mathcal{C}$ is closed and nowhere dense (if nonempty): if the interior is nonempty take a nonempty regular …
3
votes
Accepted
Relationship of ${\cal P}(\omega)/fin$ and ${\cal L}$
Look at your and my second answer to the original question.
Take your map from $\mathcal{P}(\omega)$ into $\mathcal{L}$ (or rather the set of functions before identifying almost equal elements).
That …
2
votes
How big is the lattice of all functions?
Here are a few tricks to play with.
For every $A\subseteq\omega$ define $f_A$ by $f_A(0)=0$, $f_A(n+1)=f_A(n)+1$ if $n\in A$, and $f_A(n+1)=f_A(n)$ if $n\notin A$.
If $A\subset^*B$ (so $B\setminus A$ …