The order of principal congruences of a semimodular lattice
George Grätzer, E. T. Schmidt · arXiv (Cornell University) · 2013
This paper has been withdrawn by the authors due to a crucial computational error. In this paper we deal with the finite case. We prove that a finite bounded ordered set can be represented as the order of principal congruences of a finite \emph{semimodular lattice}.