Nice Name

	Nice Name In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2''κ'' when ''κ'' is a regular cardina .... Formal definition Let M \models ZFC be transitive, (\mathbb, <) a forcing notion in $M$ , and suppose $G \subseteq \mathbb$ is generic over $M$ . Then for any $\mathbb$ -name $\tau$ in $M$ , we say that $\eta$ is a nice name for a subset of $\tau$ if $\eta$ is a $\mathbb$ -name satisfying the following properties: (1) $\operatorname(\eta) \subseteq \operatorname(\tau)$ (2) For all $[...More Info...] [...Related Items...]$ OR: [Wikipedia] [Google] [Baidu]
picture info	Set Theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of '' naive set theory''. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Forcing (mathematics) In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results. It was first used by Paul Cohen in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. Forcing has been considerably reworked and simplified in the following years, and has since served as a powerful technique, both in set theory and in areas of mathematical logic such as recursion theory. Descriptive set theory uses the notions of forcing from both recursion theory and set theory. Forcing has also been used in model theory, but it is common in model theory to define genericity directly without mention of forcing. Intuition Intuitively, forcing consists of expanding the set theoretical universe V to a larger universe V^ . In this bigger universe, for example, one might have many new real numbers, identified with subsets of the set \mathbb of natural numbers, that were not there in the old ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Easton's Theorem In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2''κ'' when ''κ'' is a regular cardinal are : \kappa < \operatorname(2^\kappa) (where cf(''α'') is the cofinality of ''α'') and : $\text \kappa < \lambda \text 2^\kappa\le 2^\lambda.$ Statement If ''G'' is a class function whose domain consists of ordinals and whose range consists of ordinals such that # ''G'' is non-decreasing, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Zermelo–Fraenkel Set Theory In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice", and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded. Informally, Zermelo–Fraenkel set theory is intended to formalize a single primitive notion, that of a hereditary well-founded set, so that all entities in the universe of discourse are such sets. Thus the axioms of Zermelo–Fraenkel set theory refer only to pure sets and prevent its models from containing u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]

Statement