%0 Journal Article %1 journals/apal/IdziakKKV09 %A Idziak, Pawel M. %A Kearnes, Keith A. %A Kiss, Emil W. %A Valeriote, Matthew %D 2009 %J Ann. Pure Appl. Log. %K dblp %N 1 %P 30-49 %T Definable principal congruences and solvability. %U http://dblp.uni-trier.de/db/journals/apal/apal157.html#IdziakKKV09 %V 157

@article{journals/apal/IdziakKKV09, added-at = {2022-10-02T00:00:00.000+0200}, author = {Idziak, Pawel M. and Kearnes, Keith A. and Kiss, Emil W. and Valeriote, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/2d38187c4f0200c7ed51a56aba2ce87e2/dblp}, ee = {https://doi.org/10.1016/j.apal.2008.09.019}, interhash = {f39fec010a64dcaebe8c4a2adec8a951}, intrahash = {d38187c4f0200c7ed51a56aba2ce87e2}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 1, pages = {30-49}, timestamp = {2024-04-09T02:36:12.000+0200}, title = {Definable principal congruences and solvability.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal157.html#IdziakKKV09}, volume = 157, year = 2009 }