Strolling through paradise

DOI10.4064/FM-148-1-1-25MaRDI QIDQ4851855zbMATH OpenOpenAlexFDO

Authors Jörg Brendle

Publication date 17 October 1995

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9407204, https://eudml.org/doc/212090

zbMATH Keywords

\(\sigma\)-idealcovering numbersLaver forcingMarczewski idealMatet forcingMathias forcingMiller forcingMycielski idealnowhere Ramsey setsSacks forcingSilver forcingtree-like forcings adjoining a new real

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: With each of the usual tree forcings I (e.g., I = Sacks forcing S, Laver forcing L, Miller forcing M, Mathias forcing R, etc.) we associate a sigma--ideal i^0 on the reals as follows: A in i^0 iff for all T in I there is S leq T (i.e. S is stronger than T or, equivalently, S is a subtree of T) such that A cap [S] = emptyset, where [S] denotes the set of branches through S. So, s^0 is the ideal of Marczewski null sets, r^0 is the ideal of Ramsey null sets (nowhere Ramsey sets) etc. We show (in ZFC) that whenever i^0, j^0 are two such ideals, then i^0 sem j^0 eq emptyset. E.g., for I=S and J=R this gives a Marczewski null set which is not Ramsey, extending earlier partial results by Aniszczyk, Frankiewicz, Plewik, Brown and Corazza and answering a question of the latter. In case I=M and J=L this gives a Miller null set which is not Laver null; this answers a question addressed by Spinas. We also investigate the question which pairs of the ideals considered are orthogonal and which are not. Furthermore we include Mycielski's ideal P_2 in our discussion.

Recommendations

• Combinatorics on ideals and forcing with trees
• On Tree Ideals
• Keeping the covering number of the null ideal small
• Four and more

Cited in

(24)

• Sacks forcing, Laver forcing, and Martin's axiom
• The covering number of the strong measure zero ideal can be above almost everything else
• Lebesgue's density theorem and definable selectors for ideals
• Between Polish and completely Baire
• There are no P-points in Silver extensions
• Free Boolean topological groups
• Strongly meager sets of real numbers and tree forcing notions
• Questions on generalised Baire spaces
• On some ideal related to the ideal (\(v^{0}\))
• Nonmeasurable sets and unions with respect to tree ideals
• A General Setting for the Pointwise Investigation of Determinacy
• Combinatorics on ideals and forcing with trees
• Mathias-Prikry and Laver-Prikry type forcing
• Ultrafilters on 𝜔-their ideals and their cardinal characteristics
• Some remarks on totally imperfect sets
• Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture
• More on trees and Cohen reals
• Keeping the covering number of the null ideal small
• On splitting trees
• Ideals which generalize \((v^{0})\)
• Mycielski ideals and uniform trees
• Different covering numbers of compact tree ideals
• The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability
• On the ideal \((v^{0})\)

This page was built for publication: Strolling through paradise

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