scientific article; zbMATH DE number 1137961

MaRDI QIDQ4383372zbMATH OpenFDO

Authors Ilijas Farah

Publication date 1 April 1998

Full work available at URL https://eudml.org/doc/119363

zbMATH Keywords

dense sets of realsforcingMartin's axiomopen coloring axiomSuslin treestowers

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Total orders (06A05)

Review text

Modified abstract. The paper shows that the Open Coloring Axiom has a different influence on the algebra \(\mathcal P(\mathbb N)/fin\) than on \(\mathbb N^{\mathbb N}/fin\). The tool used to accomplish this is forcing with a Suslin tree. The Open Coloring Axiom is a natural Ramsey statement about sets of reals which can also be considered as a natural two-dimensional version of the classical Perfect Set Property of sets of reals. It is a quite useful principle with strong influence on structures in close relationship with the set of reals. Deeper applications of OCA frequently need some additional help of Martin's Axiom which is its natural context because both of the axioms can be considered as parts of the stronger Proper Forcing Axiom. The purpose of this paper is to explain why some parts of MA are needed at least in some of the well-known applications.

Recommendations

• scientific article; zbMATH DE number 218599
• A dual open coloring axiom
• Some remarks on the open coloring axiom
• OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\)

Cited in

(17)

• PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\)
• PFA(S) and countable tightness
• Distributivity of the algebra of regular open subsets of \(\beta\mathbb R\setminus \mathbb R\)
• Maximal almost disjoint families and pseudocompactness of hyperspaces
• A dual open coloring axiom
• Katětov's problem
• Uniformizing ladder system colorings and the rectangle refining property
• Weak partition properties on trees
• \(\mathrm{PFA}(S)[S]\) and locally compact normal spaces
• Towers in filters, cardinal invariants, and Luzin type families
• scientific article; zbMATH DE number 218599 (Why is no real title available?)
• The grounded Martin's axiom
• Hereditarily normal manifolds of dimension greater than one may all be metrizable
• The P-ideal dichotomy, Martin's axiom and entangled sets
• Construction schemes: transferring structures from to _1
• Guessing models, trees and cardinal arithmetic
• Open colorings and Baumgartner's axiom

This page was built for publication:

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