Martin’s axiom


For any cardinal κ, Martin’s Axiom for κ (MAκ) states that if P is a partial orderMathworldPlanetmath satisfying ccc then given any set of κ dense (http://planetmath.org/DenseInAPoset) subsets of P, there is a directed (http://planetmath.org/DirectedSet) subset intersecting each such subset. Martin’s Axiom states that MAκ holds for every κ<20.

Title Martin’s axiom
Canonical name MartinsAxiom
Date of creation 2013-03-22 12:54:55
Last modified on 2013-03-22 12:54:55
Owner Henry (455)
Last modified by Henry (455)
Numerical id 6
Author Henry (455)
Entry type Definition
Classification msc 03E50
Defines MA