2019/01/10 by Herrmann, Christian#03D35 #06C05 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1901.03305
The Finiteness Problem is shown to be unsolvable for any sufficiently large class of modular lattices.