The Undecidability of the Definability of Principal Subcongruences

Work Analytics

3 views since January 9, 2020