| http://www.w3.org/ns/prov#value | - Second, that there is a model where strongly summable ultrafilters (on any abelian group really, but without loss of generality on the countable Boolean group) exist yet Martin's axiom for countable forcing notions fails (up until now, these ultrafilters were only known to exist under this hypothesis).
|
