1 paper
Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen +3
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 the…