Collaborative math research – a real example

There were much talking about writing math research articles collaboratively but no real action. I present probably the first real

Complete lattice generated by a partitioning – finite meets

I conjectured certain formula for the complete lattice generated by a strong partitioning of an element of complete lattice. Now

Complete lattice generated by a partitioning of a lattice element

In this post I defined strong partitioning of an element of a complete lattice. For me it was seeming obvious

Partitioning elements of distributive and finite lattices

I proposed this open problem for the next polymath project. Now I will consider some its special simple cases.

Proposal: Partitioning a lattice element

I’ve given two different definitions for partitioning an element of a complete lattice (generalizing partitioning of a set). I called

Partitioning of a lattice element: a conjecture

Let is a complete lattice. Let . I will call weak partitioning of a set such that . I will

Formalistics of generalization

In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers,

Earlier I proposed finishing writing this manuscript as a polymath project. But the manuscript contains (among other) this conjecture which