The strength of the Grätzer-Schmidt theorem

Download PDF
Open Webpage

Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore

Published: 01 Jan 2016, Last Modified: 18 Jun 2025Arch. Math. Log. 2016EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that