Newbetuts
.
New posts in lattice-orders
Every poset is embedded into a meet-semilattice
reference-request
order-theory
lattice-orders
Modular subgroup lattice in GAP
group-theory
lattice-orders
computer-algebra-systems
gap
The set of self-adjoint operators over a Hilbert space doesn't form a lattice
functional-analysis
operator-theory
hilbert-spaces
lattice-orders
Order embedding from a poset into a complete lattice
order-theory
lattice-orders
What is an interval of a lattice?
definition
order-theory
lattice-orders
Is the Knaster-Tarski Fixed Point Theorem constructive?
order-theory
lattice-orders
fixed-point-theorems
constructive-mathematics
Most general form of Cayley's theorem?
abstract-algebra
group-theory
category-theory
lattice-orders
universal-algebra
Can you provide a symmetric presentation of this partition lattice?
combinatorics
lattice-orders
is the lattice [$2+\sqrt{11},3-2\sqrt{11}$] an ideal in $O_{11}$
number-theory
lattice-orders
Lattices are congruence-distributive
lattice-orders
universal-algebra
congruence-relations
How many chains are there in a finite power set?
combinatorics
order-theory
lattice-orders
Is the set of noncrossing partitions of an infinite set a lattice?
combinatorics
reference-request
order-theory
lattice-orders
Equivalence between middle excluded law and double negation elimination in Heyting algebra
logic
lattice-orders
constructive-mathematics
Converse to a proposition on lattices and join-irreducible elements
lattice-orders
$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)$.
combinatorics
discrete-mathematics
order-theory
lattice-orders
galois-connections
$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$
combinatorics
discrete-mathematics
order-theory
lattice-orders
$L$ finite and distributive lattice, then $\mathcal{J}(L)$ (join-irreducible's) is isomorphic, as poset, to $\mathcal{M}(L)$ (meet-irreducible's)
combinatorics
discrete-mathematics
order-theory
lattice-orders
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
combinatorics
discrete-mathematics
order-theory
lattice-orders
Applications of graph theory to algebra?
abstract-algebra
graph-theory
lattice-orders
algebraic-graph-theory
How many different functions we have by only use of $\min$ and $\max$?
combinatorics
functions
discrete-mathematics
lattice-orders
oeis
Prev
Next