On the Finiteness Problem for classes of modular lattices

10 Jan 2019 Herrmann Christian

The Finiteness Problem is shown to be unsolvable for any sufficiently large class of modular lattices...

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC