1
$\begingroup$

Let ${\cal L}$ be defined as in this question. Is there a surjective lattice homomorphism $f: {\cal L}\to \mathbb{N}^\mathbb{N}$, where $\mathbb{N}^\mathbb{N}$ is the set of all functions, ordered point-wise?

$\endgroup$
  • $\begingroup$ I think $\mathcal L$ has a cofinal $\omega$-chain and $\mathbb N^{\mathbb N}$ does not. (For the chain in $\mathcal L$, consider the sequence $f_k(n) = n+k$, $k=1, 2, 3, \ldots$.) $\endgroup$ – Keith Kearnes Aug 26 '15 at 7:26
  • $\begingroup$ Oh - right -- excellent argument! Can you quickly put this in an answer? $\endgroup$ – Dominic van der Zypen Aug 26 '15 at 7:33
5
$\begingroup$

$\mathcal L$ has a cofinal $\omega$-chain and $\mathbb N^{\mathbb N}$ does not.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.