Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 206-02. A negative solution to the finite lattice representation problem

Manuscript map · lines 6075–6084

OpenAI@2026-10-07#rem:oai-p-206-02

Back to manuscript

Authors: OpenAI. Family 206.

Title: A negative solution to the finite lattice representation problem.

Abstract: We give a negative solution to the finite lattice representation problem. We prove that there is a finite nonempty lattice that is not the full congruence lattice of any finite nonempty algebra of any finite signature.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section