porton
Reputation
1,506
Top tag
Next privilege 2,000 Rep.
 Mar 17 revised Order of Galois connections between two boolean lattices edited title Mar 17 asked Order of Galois connections between two boolean lattices Mar 17 revised Galois connections between boolean lattices - an alternative representation edited title Mar 17 asked Galois connections between boolean lattices - an alternative representation Mar 16 revised Two alleged counterexamples (about boolean algebras) added 111 characters in body Mar 16 revised Two alleged counterexamples (about boolean algebras) added 69 characters in body Mar 16 comment Does there exist a boolean lattice without atoms? Is this Boolean algebra a complete lattice? Mar 16 asked Two alleged counterexamples (about boolean algebras) Mar 15 comment A construction on boolean lattices is itself a boolean lattice? mathematics21.org/binaries/addons.pdf - chapter "Boolean funcoids" Mar 15 comment A construction on boolean lattices is itself a boolean lattice? I've proved a special case of my conjecture: The set of boolean funcoids between a complete boolean lattice and an atomistic boolean lattice is itself a boolean lattice. Very weird condition (it requires different properties of the first and the second algebras). It is now available in my addons.pdf file but will be integrated into my book in the future. See mathematics21.org/algebraic-general-topology.html Mar 15 answered More on a construction on two boolean lattices Mar 15 revised More on a construction on two boolean lattices math typo Mar 15 asked More on a construction on two boolean lattices Mar 14 comment A construction on boolean lattices is itself a boolean lattice? Can we construct a counterexample such that $\mathfrak{B}$ is a finite boolean algebra or even a two-element boolean algebra? Mar 14 comment Boolean lattices vs boolean rings What is the definition of the words "associative algebra" you use? Mar 14 comment Boolean lattices vs boolean rings Thanks, but I am interested in infinite boolean lattices. I've forgotten to mention this in my question Mar 14 asked Boolean lattices vs boolean rings Mar 14 comment Category theory: Enough that polygonal diagrams commute @KonKan I don't know such theorem Mar 13 comment Pursuers (a game) @mvw The runner chooses arbitrary starting positions for both himself and for the pursuers. Mar 13 comment Pursuers (a game) @mvw The trajectory of the runner is any integral of an integrable vector function whose absolute value at every point is not above $v$. Likewise for pursuers (but with $u$ instead of $v$). If the runner's trajectory intersects one of a pursuer, the runner lose.