Definable principal congruences and solvability

Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote. Definable principal congruences and solvability. Annals of Pure and Applied Logic, 157(1):30-49, 2009. [doi]

Abstract

Abstract is missing.