# Hereditarily countable set

﻿
Hereditarily countable set

In set theory, a set is called hereditarily countable if and only if it is a countable set of hereditarily countable sets. This inductive definition is in fact well-founded and can be expressed in the language of first-order set theory. A set is hereditarily countable if and only if it is countable, and every element of its transitive closure is countable. If the axiom of countable choice holds, then a set is hereditarily countable if and only if its transitive closure is countable.

The class of all hereditarily countable sets can be proven to be a set from the axioms of Zermelo-Fraenkel set theory (ZF) without any form of the axiom of choice, and this set is designated $H_\left\{aleph_1\right\}$. The hereditarily countable sets form a model of Kripke–Platek set theory with the axiom of infinity (KPI), if the axiom of countable choice is assumed in the metatheory.

If $x in H_\left\{aleph_1\right\}$, then $L_\left\{omega_1\right\}\left(x\right) subset H_\left\{aleph_1\right\}$.

More generally, a set is hereditarily of cardinality less than κ if and only it is of cardinality less than κ, and all its elements are hereditarily of cardinality less than κ; the class of all such sets can also be proven to be a set from the axioms of ZF, and is designated $H_kappa !$. If the axiom of choice holds, then a set is hereditarily of cardinality less than κ if and only if its transitive closure is of cardinality less than κ.

ee also

*Hereditarily finite set
*Constructible universe

* [http://www.jstor.org/pss/2273380 "On Hereditarily Countable Sets" by Thomas Jech]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Hereditarily finite set — Nested set redirects here. Nested set may also refer to the Nested set model in relational databases …   Wikipedia

• Hereditary set — In the mathematical field of set theory, a hereditary set (or pure set) is a set all of whose elements are hereditary sets. That is, all elements of the set are themselves sets, as are all elements of the elements, and so on.In most standard… …   Wikipedia

• Code (set theory) — In set theory, a code for a hereditarily countable set is a set such that there is an isomorphism between (ω,E) and (X, ) where X is the transitive closure of {x}. If X is finite (with cardinality n), then use n×n instead of ω×ω and (n,E) instead …   Wikipedia

• Finite set — In mathematics, a set is called finite if there is a bijection between the set and some set of the form {1, 2, ..., n} where n is a natural number. (The value n = 0 is allowed; that is, the empty set is finite.) An infinite set is a set which is… …   Wikipedia

• General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… …   Wikipedia

• Remarkable cardinal — In mathematics, a remarkable cardinal is a certain kind of large cardinal number.Formally, a cardinal kappa; is called remarkable iff for all regular cardinals theta; > kappa;, there exist pi;, M , lambda;, sigma;, N and rho; such that# pi; : M… …   Wikipedia

• List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

• Hereditary property — In mathematics, a hereditary property is a property of an object, that inherits to all its subobjects, where the term subobject depends on the context. These properties are particularly considered in topology and graph theory. Contents 1 In… …   Wikipedia

• Subcompact cardinal — In mathematics, a subcompact cardinal is a certain kind of large cardinal number.A cardinal number κ is subcompact if and only if for every A⊂H(κ+) there is a non trivial elementary embedding j:(H(μ+), B) → (H(κ+), A) with critical point μ and… …   Wikipedia

• Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia