Specht module - Revision history

147.122.45.91: /* Definition */

2015-01-09T11:46:54Z

Definition

← Older revision		Revision as of 13:46, 9 January 2015
Line 1:		Line 1:
	~~In [[set theory]], a set~~ is called '~~''hereditarily countable''' if it is a [[countable set]] of [[hereditary property\|hereditarily]] countable sets. This [[inductive definition]] is in fact [[well-founded]] and can be expressed in~~ the ~~language of [[first-order logic\|first-order]] set theory~~. ~~A set is hereditarily countable if and only if it~~ is ~~countable,~~ and ~~every element of its [[transitive set\|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 author is called Irwin Wunder but it's not the most masucline title out there. Doing ceramics is what her family and her appreciate. California is exactly where I've always been living and I love each day living right here. Bookkeeping is what I do.<br><br>my site ... [http://www.zavodpm.ru/blogs/ashelykeplerlkws/9653-valuable-guidance-successfully-treating-candida-albicans home std test]

	~~The [[class (set theory)\|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 <math>H_{\aleph_1}</math>~~. ~~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 <math>x \in H_{\aleph_1}~~<~~/math~~>~~, then~~ <~~math>L_{\omega_1}(x) \subset H_{\aleph_1}</math~~>.

	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 <math>H_\kappa \!</math>. ~~If the axiom of choice holds and the cardinal κ is regular, then a set is hereditarily of cardinality less than κ if and only if its transitive closure is of cardinality less than κ~~.

	~~==See also==~~
	*[[Hereditarily finite set]]
	*[[Constructible universe]]

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

	~~[[Category:Set theory]]~~
	~~[[Category:Large cardinals~~]]

	~~{{settheory-stub}}~~

68.44.67.172: A tabloid is an equivalence class of labelings of the Young diagram that are not necessarily tableaux; there is a unique tableau in each equivalence class.

2013-12-02T00:32:43Z

A tabloid is an equivalence class of labelings of the Young diagram that are not necessarily tableaux; there is a unique tableau in each equivalence class.

← Older revision		Revision as of 02:32, 2 December 2013
Line 1:		Line 1:
	~~The writer~~'~~s title~~ is ~~Christy~~. ~~I am really fond~~ of ~~handwriting but I can't make~~ it ~~my occupation really~~. ~~Office supervising~~ is ~~exactly where her main earnings arrives~~ from. ~~Her family life~~ in ~~Ohio~~.<br><br>~~Feel free~~ to ~~surf to my site ::~~ [http://www.~~onbizin~~.~~co.kr~~/xe/~~?document_srl=320614 real psychic readings~~]		In [[set theory]], a set is called '''hereditarily countable''' if it is a [[countable set]] of [[hereditary property\|hereditarily]] countable sets. This [[inductive definition]] is in fact [[well-founded]] and can be expressed in the language of [[first-order logic\|first-order]] set theory. A set is hereditarily countable if and only if it is countable, and every element of its [[transitive set\|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 (set theory)\|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 <math>H_{\aleph_1}</math>. 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 <math>x \in H_{\aleph_1}</math>, then <math>L_{\omega_1}(x) \subset H_{\aleph_1}</math>.

			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 <math>H_\kappa \!</math>. If the axiom of choice holds and the cardinal κ is regular, then a set is hereditarily of cardinality less than κ if and only if its transitive closure is of cardinality less than κ.

			==See also==
			*[[Hereditarily finite set]]
			*[[Constructible universe]]

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

			[[Category:Set theory]]
			[[Category:Large cardinals]]

			{{settheory-stub}}

en>Citation bot 1 at 14:03, 10 March 2011

2011-03-10T14:03:23Z

New page

The writer's title is Christy. I am really fond of handwriting but I can't make it my occupation really. Office supervising is exactly where her main earnings arrives from. Her family life in Ohio.<br><br>Feel free to surf to my site :: [http://www.onbizin.co.kr/xe/?document_srl=320614 real psychic readings]