The First-Order Theories of Dedekind Algebras.

George Weaver The First-Order Theories of Dedekind Algebras. 337-365 2003 73 Studia Logica 3 db/journals/sLogica/sLogica73.html#Weaver03