English

Frechet Borel Ideals with Borel orthogonal

Logic 2017-02-10 v2 General Topology

Abstract

We study Borel ideals II on N\mathbb{N} with the Fr\'echet property such its orthogonal II^\perp is also Borel (where AIA\in I^\perp iff ABA\cap B is finite for all BIB\in I and II is Fr\'echet if I=II=I^{\perp\perp}). Let B\mathcal{B} be the smallest collection of ideals on N{\mathbb{N}} containing the ideal of finite sets and closed under countable direct sums and orthogonal. All ideals in B\mathcal{B} are Fr\'echet, Borel and have Borel orthogonal. We show that B\mathcal{B} has exactly 1\aleph_1 non isomorphic members. The family B\mathcal{B} can be characterized as the collection of all Borel ideals which are isomorphic to an ideal of the form Iwf\upAI_{wf}\up A, where IwfI_{wf} is the ideal on N<ω\mathbb{N}^{<\omega} generated by the wellfounded trees. Also, we show that AQA\subseteq \mathbb{Q} is scattered iff WO(Q)\upAWO({\mathbb{Q}})\up A is isomorphic to an ideal in B\mathcal{B}, where WO(Q)WO(\mathbb{Q}) is the ideal of well founded subset of Q\mathbb{Q}.

Keywords

Cite

@article{arxiv.1312.4095,
  title  = {Frechet Borel Ideals with Borel orthogonal},
  author = {Francisco Guevara and Carlos Uzcategui},
  journal= {arXiv preprint arXiv:1312.4095},
  year   = {2017}
}
R2 v1 2026-06-22T02:27:45.473Z