Subcountability

Subcountability

In constructive mathematics, a collection is subcountable if there exists a partial surjection from the natural numbers onto it. The name derives from the intuitive sense that such a collection is "no bigger" than the counting numbers. The concept is trivial in classical set theory, where a set is subcountable if and only if it is finite or countably infinite. Constructively it is consistent to assert the subcountability of some uncountable collections such as the real numbers. Indeed there are models of the constructive set theory CZF in which "all" sets are subcountable [Rathjen, M. " [http://www.maths.leeds.ac.uk/pure/staff/rathjen/acend.pdf Choice principles in constructive and classical set theories] ", Proceedings of the Logic Colloquium, 2002] and models of IZF in which all sets with apartness relations are subcountable [McCarty, J. " [http://meh.org Subcountability under realizability] ", Notre Dame Journal of Formal Logic, Vol 27 no 2 April 1986] .

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • subcountability — noun The property of being subcountable …   Wiktionary

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”