|
List Of Set Theory Topics ...
This page is a list of articles related to set theory. Articles on individual set theory topics Lists related to set theory * Glossary of set theory * List of large cardinal properties * List of properties of sets of reals * List of set identities and relations Set theorists Societies and organizations * Association for Symbolic Logic * The Cabal {{Set theory Topics 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 conce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Beth Number
In mathematics, particularly in set theory, the beth numbers are a certain sequence of infinite cardinal numbers (also known as transfinite numbers), conventionally written \beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots, where \beth is the second Hebrew letter ( beth). The beth numbers are related to the aleph numbers (\aleph_0,\ \aleph_1,\ \dots), but unless the generalized continuum hypothesis is true, there are numbers indexed by \aleph that are not indexed by \beth. Definition Beth numbers are defined by transfinite recursion: * \beth_0=\aleph_0, * \beth_=2^, * \beth_=\sup\, where \alpha is an ordinal and \lambda is a limit ordinal. The cardinal \beth_0=\aleph_0 is the cardinality of any countably infinite set such as the set \mathbb of natural numbers, so that \beth_0=, \mathbb, . Let \alpha be an ordinal, and A_\alpha be a set with cardinality \beth_\alpha=, A_\alpha, . Then, *\mathcal(A_\alpha) denotes the power set of A_\alpha (i.e., the set of all subsets of A_\alpha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytical Hierarchy
In mathematical logic and descriptive set theory, the analytical hierarchy is an extension of the arithmetical hierarchy. The analytical hierarchy of formulas includes formulas in the language of second-order arithmetic, which can have quantifiers over both the set of natural numbers, \mathbb, and over functions from \mathbb to \mathbb. The analytical hierarchy of sets classifies sets by the formulas that can be used to define them; it is the lightface version of the projective hierarchy. The analytical hierarchy of formulas The notation \Sigma^1_0 = \Pi^1_0 = \Delta^1_0 indicates the class of formulas in the language of second-order arithmetic with number quantifiers but no set quantifiers. This language does not contain set parameters. The Greek letters here are lightface symbols, which indicate this choice of language. Each corresponding boldface symbol denotes the corresponding class of formulas in the extended language with a parameter for each real; see projective hierarch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Set
In the mathematical field of descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student . Definition There are several equivalent definitions of analytic set. The following conditions on a subspace ''A'' of a Polish space ''X'' are equivalent: *''A'' is analytic. *''A'' is empty or a continuous image of the Baire space ωω. *''A'' is a Suslin space, in other words ''A'' is the image of a Polish space under a continuous mapping. *''A'' is the continuous image of a Borel set in a Polish space. *''A'' is a Suslin set, the image of the Suslin operation. *There is a Polish space Y and a Borel set B\subseteq X\times Y such that A is the projection of B; that is, : A=\. *''A'' is the projection of a closed set in the cartesian product of ''X'' with the Baire space. *''A'' is the projection of a Gδ set in the cartesian product of ''X'' with the Cantor space. An alterna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Descriptive Set Theory
In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other areas of mathematics such as functional analysis, ergodic theory, the study of operator algebras and group actions, and mathematical logic. Polish spaces Descriptive set theory begins with the study of Polish spaces and their Borel sets. A Polish space is a second-countable topological space that is metrizable with a complete metric. Heuristically, it is a complete separable metric space whose metric has been "forgotten". Examples include the real line \mathbb, the Baire space \mathcal, the Cantor space \mathcal, and the Hilbert cube I^. Universality properties The class of Polish spaces has several universality properties, which show that there is no loss of generality in considering Polish spaces of certain restricted form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countable Set
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is ''countable'' if its cardinality (its number of elements) is not greater than that of the natural numbers. A countable set that is not finite is said countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. A note on terminology Although the terms "countable" and "countably infinite" as defined here are quite co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuum Hypothesis
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states that or equivalently, that In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: 2^=\aleph_1, or even shorter with beth numbers: \beth_1 = \aleph_1. The continuum hypothesis was advanced by Georg Cantor in 1878, and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt Gödel in 1940. The name of the hypothesis comes from the term '' the continuum'' for the real numbers. History Cantor believed the continuum hypothesis to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suslin's Problem
In mathematics, Suslin's problem is a question about totally ordered sets posed by and published posthumously. It has been shown to be independent of the standard axiomatic system of set theory known as ZFC: showed that the statement can neither be proven nor disproven from those axioms, assuming ZF is consistent. (Suslin is also sometimes written with the French transliteration as , from the Cyrillic .) Formulation Suslin's problem asks: Given a non-empty totally ordered set ''R'' with the four properties # ''R'' does not have a least nor a greatest element; # the order on ''R'' is dense (between any two distinct elements there is another); # the order on ''R'' is complete, in the sense that every non-empty bounded subset has a supremum and an infimum; and # every collection of mutually disjoint non-empty open intervals in ''R'' is countable (this is the countable chain condition for the order topology of ''R''), is ''R'' necessarily order-isomorphic to the real line R? If ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuum (set Theory)
In the mathematical field of set theory, the continuum means the real numbers, or the corresponding (infinite) cardinal number, denoted by \mathfrak. Georg Cantor proved that the cardinality \mathfrak is larger than the smallest infinity, namely, \aleph_0. He also proved that \mathfrak is equal to 2^\!, the cardinality of the power set of the natural numbers. The ''cardinality of the continuum'' is the size of the set of real numbers. The continuum hypothesis is sometimes stated by saying that no cardinality lies between that of the continuum and that of the natural numbers, \aleph_0, or alternatively, that \mathfrak = \aleph_1. Linear continuum According to Raymond Wilder (1965), there are four axioms that make a set ''C'' and the relation < into a linear continuum: * ''C'' is simply ordered with respect to <. * If [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Boolean Algebra
In mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct Boolean-valued models of set theory in the theory of forcing. Every Boolean algebra ''A'' has an essentially unique completion, which is a complete Boolean algebra containing ''A'' such that every element is the supremum of some subset of ''A''. As a partially ordered set, this completion of ''A'' is the Dedekind–MacNeille completion. More generally, if κ is a cardinal then a Boolean algebra is called κ-complete if every subset of cardinality less than κ has a supremum. Examples Complete Boolean algebras *Every finite Boolean algebra is complete. *The algebra of subsets of a given set is a complete Boolean algebra. *The regular open sets of any topological space form a complete Boolean algebra. This example is of particular importance because every forcing poset can be considered as a topological spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complement (set Theory)
In set theory, the complement of a set , often denoted by (or ), is the set of elements not in . When all sets in the universe, i.e. all sets under consideration, are considered to be members of a given set , the absolute complement of is the set of elements in that are not in . The relative complement of with respect to a set , also termed the set difference of and , written B \setminus A, is the set of elements in that are not in . Absolute complement Definition If is a set, then the absolute complement of (or simply the complement of ) is the set of elements not in (within a larger set that is implicitly defined). In other words, let be a set that contains all the elements under study; if there is no need to mention , either because it has been previously specified, or it is obvious and unique, then the absolute complement of is the relative complement of in : A^\complement = U \setminus A. Or formally: A^\complement = \. The absolute complement of is u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class (set Theory)
In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid Russell's paradox (see ). The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity. A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class. For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems. In Quine's set-theoretical writing, the phrase "ultimate class" is often used in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
