NOVA Math Publications Algebra and Logic Review Kahle,R PHILOSOPHIA MATHEMATICA 2020 28 3 421-425 10.1093/philmat/nkaa031 Tags : Algebra and Logic