The first derived limit and compactly F_ sets

DOI10.2969/JMSJ/05040831MaRDI QIDQ1298032zbMATH OpenOpenAlexFDO

Authors Stevo Todorčević

Publication date 22 September 1999

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/05040831

zbMATH Keywords

\(F_\sigma\)-setscompact setsdescriptive set theoryinverse system of Abelian groupsMartin's axiomproper forcing axiomČech's cohomology groups

Mathematics Subject Classification ID

Descriptive set theory (03E15) Continuum hypothesis and Martin's axiom (03E50) Projectives and injectives (category-theoretic aspects) (18G05) Homology and homotopy of topological groups and related structures (57T99)

Review text

For a~sequence \(a=\{a(n)\}\) of integers (a~member of~\(\mathbf N^{\mathbf N}\)) let \(A_a\) be the group of all functions from the set \(D_a=\{(m,n):n\leq a(m)\}\) in~\(\mathbf Z\) which are equal to~\(0\) on all but finitely many pairs \((m,n)\in D_a\), i.e., \(A_a= \bigoplus_{m=1}^\infty \bigoplus_{n=1}^{a(m)}\mathbf Z\). The set \(\mathbf N^{\mathbf N}\) is directed with the ordering defined by \(a\leq b\) if and only if \(a(n)\leq b(n)\) for all~\(n\). For \(a\leq b\) in \(\mathbf N^{\mathbf N}\) let \(\pi^b_a:A_b\to A_a\) be the natural projection. The author shows some connections of the first derived limit \(\varprojlim^{(1)}\mathcal A\) of the inverse system \(\mathcal A= \langle A_a,\pi^b_a,\mathbf N^{\mathbf N}\rangle\) with descriptive set theory. He proves: (1)~If \(\varprojlim^{(1)}\mathcal A\neq 0\) then there is a~subset \(X\) of \(\mathbf R\setminus\mathbf Q\) which is not analytic but its intersection with every compact subset of \(\mathbf R\setminus\mathbf Q\) is~\(F_\sigma\); and (2) PFA implies that there exists a \(\sigma\)-closed poset which adds no new subsets of \(\omega_1\) and which forces \(\varprojlim^{(1)}\mathcal A\neq 0\). Therefore Martin's axiom together with negation of CH does not imply that a subset of \(\mathbf R\setminus\mathbf Q\) is Borel if its intersection with every compact subset of \(\mathbf R\setminus\mathbf Q\) is Borel.

Recommendations

• Strong homology, derived limits, and set theory
• On the limit superior of analytic sets
• Limits in function spaces and compact groups
• Problem of the existence of nonborel \(AF_{\|}\)-sets
• scientific article; zbMATH DE number 970533

Cited in

(8)

• The first omega alephs: from simplices to trees of trees to higher walks
• Distinguishing types of gaps in (ω)/fin
• Simultaneously vanishing higher derived limits
• Simultaneously vanishing higher derived limits without large cardinals
• Nonvanishing derived limits without scales
• A non-CH inner approach construction
• A descriptive approach to higher derived limits
• Simultaneously nonvanishing higher derived limits

This page was built for publication: The first derived limit and compactly \(F_\sigma\) sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1298032)