An improper arithmetically closed Borel subalgebra of mod FIN

We show the existence of a subalgebra A ⊆ P ( ω ) that satisfies the following three conditions:• Borel (when P ( ω ) is identified with 2 ω ). arithmetically closed (i.e., A is closed under the Turing jump, and Turing reducibility). rcing notion ( A , ⊆ ) modulo the ideal FIN of finite sets collapses the continuum to ℵ 0 .