scientific article; zbMATH DE number 3968647

MaRDI QIDQ3735757zbMATH OpenFDO

Authors Chuchang Liu

Publication date 1985

zbMATH Keywords

Dedekind's problemfree distributive latticesmachine derivation

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordered structures (06-04) Free lattices, projective lattices, word problems (06B25) Structure and representation theory of distributive lattices (06D05)

Recommendations

• The theory of derivations in almost distributive lattices
• scientific article; zbMATH DE number 4150236
• On f-derivations in lattices
• The skeletons of free distributive lattices
• scientific article; zbMATH DE number 4037898
• scientific article; zbMATH DE number 741357
• ON f-DERIVATIONS OF LATTICES
• Formalization of generalized almost distributive lattices.
• The lattice \(f\)-derivations of lattices
• Free lattices proof-theoretically

Cited in

(2)

• A computation of the ninth Dedekind number
• Solving systems of equations on antichains for the computation of the ninth Dedekind number

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3735757)