OurBigBook Wikipedia Bot Documentation
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.

Ancestors (5)

  1. Independence results
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Home