nLab
axiom of multiple choice

The axiom of multiple choice

Idea

The axiom of multiple choice (AMC) is a weak version of the axiom of choice which can hold in constructive mathematics.

Statement

A set-indexed family {D c} cC\{D_c\}_{c\in C} of sets is said to be a collection family if for any cCc\in C and any surjection ED cE\twoheadrightarrow D_c, there exists a cCc'\in C and a surjection D cD cD_{c'}\twoheadrightarrow D_c which factors through EE.

The axiom of multiple choice states one of two things:

  1. for every set XX, there exists a collection family {D c} cC\{D_c\}_{c\in C} such that XD cX\cong D_c for some cc, or
  2. for every set XX, there exists a collection family {D c} cC\{D_c\}_{c\in C} and a family of surjections {D cX} cC\{D_c \to X\}_{c\in C}.

The second formulation seems to be the one originally given by M&P, below, while the first is that given by Rathjen and attributed to Aczel and Simpson.

Mike Shulman: Are these the same? If not, why are they given the same name?

Relationships to other axioms

  • Note that PP is a projective set if and only if the singleton family {P}\{P\} is a collection family. Therefore, since AC is equivalent to “all sets are projective,” it implies AMC.

  • An extension of this argument shows that COSHEP is sufficient to imply AMC.

  • The Reflection Principle? (RP) is equivalent to AMC (called stong AMC by van den Berg). RP is motivated by the regular extension principle (REA) from constructive set theory. RP states that every map belongs to a representable class of small maps.

  • However, AMC does not imply countable choice or any of the other usual consequences of AC.

  • Rathjen proves that SVC also implies AMC. It follows that AMC holds in “most” models of set theory.

  • AMC implies WISC, and therefore also implies that the category of anafunctors between two small categories is essentially small.

  • A ΠW-pretopos satisfying the axiom of multiple choice if a predicative topos.

References

  • Ieke Moerdijk, Erik Palmgren, Type theories, toposes and constructive set theory: predicative aspects of AST (2000) (web)

  • Rathjen, “Choice principles in constructive and classical set theories”

In

WISC is called the “axiom of multiple choice”.

Revised on September 13, 2012 01:27:53 by Urs Schreiber (82.169.65.155)