Martin's Axiom is a principle in set theory, particularly in the area of forcing and the study of the continuum hypothesis. It states that if there is a partially ordered set (poset) that is *countably chain condition* (every family of mutually disjoint elements can be at most countable) and adds a subset of a given cardinality, then there exists a filter over that poset that produces a generic subset of the continuum.

Articles by others on the same topic (0)

There are currently no matching articles.