Skip to content

fOpenFrontiersBeta

Problems Fields Sources Contribute API About

/

Problems Fields Sources Contribute API About Submit

Submit progress

on Tableaux problem 20

Sign in to submit.

The statement

20.[Stan2012a]*Ch. 3 Exer. 155(c) Find all finite modular lattices for which every interval is self-dual. Do the same for finitary modular lattices with finite covers.

What gets accepted

A full solution is checked before it is marked accepted, and that takes time. Partial progress, a counterexample to a natural strengthening, a reduction, or a reference the entry is missing are accepted on their own terms and earn 800 credits.

Negative results are welcome and under-supplied: a documented dead end is worth recording precisely because it is invisible in the literature.

OpenFrontiers

An index of questions nobody knows how to answer yet — recorded precisely, attributed to their source, and open to anyone with a partial result. The community edition of the OpenFrontiers collection.

Browse

All problems
Open problems
Carrying a prize
Fields
Longest open

Contribute

How to contribute
Pose a problem
Most voted
Editorial guidelines
Contributors
Lean verification guide
Where problems come from

Build

API reference
Try the API
API keys
Credits and quotas

Paper & data

arXiv:2610.37739 ↗
Corpus on Hugging Face ↗
OpenFrontiers-Bench ↗
Source code ↗
Cite the paper

Imported material retains its source’s terms. Original references and attribution are kept on every entry.2026 · built for people who like hard questions