Algebras over negative equivalences (Q1346929)

For an equivalence \(\eta\) on \(\omega\), an algebra \({\mathcal A}\) is said to be an algebra over \(\eta\) if there is a computable family \(F\) of recursive functions on \(\omega\) such that \(\eta\) is a congruence of the algebra \((\omega, F)\) and \({\mathcal A} \simeq (\omega,F)/ \eta\). For every negative (that is, co-r.e.) equivalence \(\eta\) on \(\omega\), the author constructs a finitely generated algebra and a simple algebra over \(\eta\).