AbstractWe define the notion of Souslin forcing, and we prove that some properties are preserved under iteration. We define a weaker form of Martin's axiom, namely , and using the results on Souslin forcing we show that is consistent with the existence of a Souslin tree and with the splitting number s = ℵ1. We prove that proves the additivity of measure. Also we introduce the notion of proper Souslin forcing, and we prove that this property is preserved under countable support iterated forcing. We use these results to show that ZFC + there is an inaccessible cardinal is equiconsistent with ZFC + the Borel conjecture + -measurability.
AbstractWe answer two questions of Hindman, Steprāns, and Strauss; namely, we prove that every strongly summable ultrafilter on an abelian group is sparse and has the trivial sums property. Moreover, we show that in most cases the sparseness of the given ultrafilter is a consequence of its being isomorphic to a union ultrafilter. However, this does not happen in all cases; we also construct (assuming Martin's Axiom for countable partial orders, i.e., , a strongly summable ultrafilter on the Boolean group that is not additively isomorphic to any union ultrafilter.
AbstractA generalized version of Martin's axiom, called BACH, is shown to be equivalent to one of its combinatorial consequences, a generalization of P(c).
Martin's axiom and spanning trees of infinite graphs
