| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4659137 | Topology and its Applications | 2011 | 8 Pages |
Abstract
We show the existence of a subalgebra A⊆P(ω) that satisfies the following three conditions:•A is Borel (when P(ω) is identified with ω2).•A is arithmetically closed (i.e., A is closed under the Turing jump, and Turing reducibility).•The forcing notion (A,⊆) modulo the ideal FIN of finite sets collapses the continuum to ℵ0.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
