English

Towards Martin's Minimum

Logic 2013-01-04 v1

Abstract

We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and creatures"(by Roslanowski and Shelah - math.LO/9807172).

Keywords

Cite

@article{arxiv.math/9904163,
  title  = {Towards Martin's Minimum},
  author = {Tomek Bartoszynski and Andrzej Roslanowski},
  journal= {arXiv preprint arXiv:math/9904163},
  year   = {2013}
}