On the consistency problem for modular lattices and related structures

12 Jul 2016 Herrmann Christian Tsukamoto Yasuyuki Ziegler Martin

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and Rabin (1958) it is known unsolvable for (the class of) groups and, recently, by Bridson and Wilton (2015) for finite groups... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC