New posts in order-theory

Failure of existence of GCD

$I(A)$ and $I(B)$ ideal lattices, then $F(J) = \downarrow \psi(J)$ and $G(U)=\downarrow \phi(U)$ is a connection of Galois between $I(A)$ and $I(B)$.

Is there a non-trivial countably transitive linear order?

Finding all posets on a set

$P$ poset. $x = \bigvee(\downarrow x\cap U)\Rightarrow \forall x, y \in P$, with $y \lt x$, $\exists a\in U$ s.t. $a \le x $ and $a \nleqslant y$

$L$ finite and distributive lattice, then $\mathcal{J}(L)$ (join-irreducible's) is isomorphic, as poset, to $\mathcal{M}(L)$ (meet-irreducible's)

Let $A_1$, $A_2$, $P$ be CPOs and let $\psi: A_1 \times A_2 \to P $ be a map, then $\psi$ is continuous $\iff$ it is so in each variable separately

Number of ways to interleave two ordered sequences. [duplicate]

Lemma 2.20 of Kunen

Is every linear ordered set normal in its order topology?

In a finite poset $P$, a down-set $I$ is meet-irreducible $\iff I=P\backslash\uparrow x$ for some $x\in P$

Existence of non-commutative ordered ring

Prove that every totally ordered set has a well-ordered cofinal subset

Geometric definitions of infinity

Is there an example of an ordered ring that is not isomorphic to any subring of the real numbers?

An order type $\tau$ equal to its power $\tau^n, n>2$

Are ideals in rings and lattices related?

Ordinal interpretation of Friedman's $n$?

A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets

Let G be an abelian group, and let a∈G. For n≥1,let G[n;a] := {x∈G:x^n =a}. Show that G[n; a] is either empty or equal to αG[n] := {αg : g ∈ G[n]}... [closed]