高博雷尔拉姆齐理想的归约与必要条件
Reductions and necessary conditions for tall Borel Ramsey ideals
AI总结：
研究高博雷尔理想是否具拉姆齐性质这一开放问题，通过主要定理给出不存在可数局部解读等结论，还证明弱选择性$q^+$理想相关性质，提出博雷尔性是否强制可数解读的问题及后果，主要问题仍待解决。
AI中文摘要：
若ω上的理想$\mathcal{I}$满足$\mathcal{I}^{+}\to(\mathcal{I}^{+})^2_2$，即对$\mathcal{I}$正集的对进行二染色有$\mathcal{I}$正齐次子集，则称其具有拉姆齐性质。高博雷尔理想是否具有拉姆齐性质是一个开放问题。本文主要定理表明高博雷尔拉姆齐理想不存在可数局部解读，其在每个正集之下不是拓扑表示理想的可数交，商没有可数稠密子集等。还单独证明了弱选择性$q^+$理想不存在正$\mathcal{ED}_{\mathrm{fin}}$-载体。同时提出了关于博雷尔性是否强制某种可数解读的三个精确问题及相关结论，主要问题仍未解决。
英文摘要：
An ideal $\mathcal{I}$ on $ω$ has the Ramsey property if $\mathcal{I}^{+}\to(\mathcal{I}^{+})^2_2$: every $2$-colouring of the pairs of an $\mathcal{I}$-positive set has an $\mathcal{I}$-positive homogeneous subset. Whether a tall Borel ideal can have the Ramsey property is an open question of Hrušák, Meza-Alcántara, Thümmel and Uzcátegui; a coanalytic example exists in ZFC, so a negative answer must use definability essentially. Our main theorem, a synthesis of the results of the paper, states that a tall Borel Ramsey ideal admits no countable local reading. Below every positive set, such an ideal is not a countable intersection of topologically represented (or tall analytic $P$-) ideals, and its quotient has no countable dense subset. Moreover, every quotient name for a new real has uncountable width, the colouring witnessing non-selectivity of the generic ultrafilter is never read continuously on a positive condition, and hereditary tall subfamilies saturate every finite window of barrier dimensions coherently but never all dimensions at once. We prove separately that a weakly selective $q^+$ ideal admits no positive $\mathcal{ED}_{\mathrm{fin}}$-carrier. The converse question -- must Borelness force a properness-like countable reading on some positive condition? -- is stated in three precise forms with proved consequences: two of them would refute tall Borel Ramsey ideals outright, the third the strictly weaker Nash--Williams class. The main question remains open.
