|
Reflection Principle
In set theory, a branch of mathematics, a reflection principle says that it is possible to find sets that resemble the class of all sets. There are several different forms of the reflection principle depending on exactly what is meant by "resemble". Weak forms of the reflection principle are theorems of ZF set theory due to , while stronger forms can be new and very powerful axioms for set theory. The name "reflection principle" comes from the fact that properties of the universe of all sets are "reflected" down to a smaller set. Motivation A naive version of the reflection principle states that "for any property of the universe of all sets we can find a set with the same property". This leads to an immediate contradiction: the universe of all sets contains all sets, but there is no set with the property that it contains all sets. To get useful (and non-contradictory) reflection principles we need to be more careful about what we mean by "property" and what properties we allow. ... [...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] |
Axiom Of Infinity
In axiomatic set theory and the branches of mathematics and philosophy that use it, the axiom of infinity is one of the axioms of Zermelo–Fraenkel set theory. It guarantees the existence of at least one infinite set, namely a set containing the natural numbers. It was first published by Ernst Zermelo as part of his set theory in 1908.Zermelo: ''Untersuchungen über die Grundlagen der Mengenlehre'', 1907, in: Mathematische Annalen 65 (1908), 261-281; Axiom des Unendlichen p. 266f. Formal statement In the formal language of the Zermelo–Fraenkel axioms, the axiom reads: :\exists \mathbf \, ( \empty \in \mathbf \, \land \, \forall x \in \mathbf \, ( \, ( x \cup \ ) \in \mathbf ) ) . In words, there is a set I (the set which is postulated to be infinite), such that the empty set is in I, and such that whenever any ''x'' is a member of I, the set formed by taking the union of ''x'' with its singleton is also a member of I. Such a set is sometimes called an inductive set. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Neumann–Bernays–Gödel Set Theory
In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory (ZFC). NBG introduces the notion of class, which is a collection of sets defined by a formula whose quantifiers range only over sets. NBG can define classes that are larger than sets, such as the class of all sets and the class of all ordinals. Morse–Kelley set theory (MK) allows classes to be defined by formulas whose quantifiers range over classes. NBG is finitely axiomatizable, while ZFC and MK are not. A key theorem of NBG is the class existence theorem, which states that for every formula whose quantifiers range only over sets, there is a class consisting of the sets satisfying the formula. This class is built by mirroring the step-by-step construction of the formula with classes. Since all set-theoretic formulas are constructed from two kinds of atomic formulas ( membership and equali ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. Biography Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849. Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895–1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson. In 1912, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantifier (logic)
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier \forall in the first order formula \forall x P(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier \exists in the formula \exists x P(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable. The mostly commonly used quantifiers are \forall and \exists. These quantifiers are standardly defined as duals; in classical logic, they are interdefinable using negation. They can also be used to define more complex quantifiers, as in the formula \neg \exists x P(x) which expresses that nothing has the property P. Ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol. In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context. A bound variable, in contrast, is a variable that has been ''bound'' to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantif ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Club Set
In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal that is closed under the order topology, and is unbounded (see below) relative to the limit ordinal. The name ''club'' is a contraction of "closed and unbounded". Formal definition Formally, if \kappa is a limit ordinal, then a set C\subseteq\kappa is ''closed'' in \kappa if and only if for every \alpha < \kappa, if then Thus, if the limit of some sequence from is less than then the limit is also in If is a limit ordinal and then is unbounded in if for any there is some such that |
Inaccessible Cardinal
In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal is strongly inaccessible if it is uncountable, it is not a sum of fewer than cardinals smaller than , and \alpha < \kappa implies . The term "inaccessible cardinal" is ambiguous. Until about 1950, it meant "weakly inaccessible cardinal", but since then it usually means "strongly inaccessible cardinal". An uncountable cardinal is weakly inaccessible if it is a regular weak limit cardinal. It is strongly inaccessible, or just inaccessible, if it is a regular strong limit cardinal (this is equivalent to the definition given above). Some authors do not require weakly and strongl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absoluteness (mathematical Logic)
In mathematical logic, a formula is said to be absolute to some class of structures (also called models), if it has the same truth value in each of the members of that class. One can also speak of absoluteness of a formula ''between'' two structures, if it is absolute to some class which contains both of them.. Theorems about absoluteness typically establish relationships between the absoluteness of formulas and their syntactic form. There are two weaker forms of partial absoluteness. If the truth of a formula in each substructure ''N'' of a structure ''M'' follows from its truth in ''M'', the formula is downward absolute. If the truth of a formula in a structure ''N'' implies its truth in each structure ''M'' extending ''N'', the formula is upward absolute. Issues of absoluteness are particularly important in set theory and model theory, fields where multiple structures are considered simultaneously. In model theory, several basic results and definitions are motivated by a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cumulative Hierarchy
In mathematics, specifically set theory, a cumulative hierarchy is a family of sets W_\alpha indexed by ordinals \alpha such that * W_\alpha \subseteq W_ * If \lambda is a limit ordinal, then W_\lambda = \bigcup_ W_ Some authors additionally require that W_ \subseteq \mathcal P(W_\alpha) or that W_0 \ne \emptyset. The union W = \bigcup_ W_\alpha of the sets of a cumulative hierarchy is often used as a model of set theory. The phrase "the cumulative hierarchy" usually refers to the standard cumulative hierarchy \mathrm_\alpha of the von Neumann universe with \mathrm_ = \mathcal P(W_\alpha) introduced by . Reflection principle A cumulative hierarchy satisfies a form of the reflection principle: any formula in the language of set theory that holds in the union W of the hierarchy also holds in some stages W_\alpha. Examples * The von Neumann universe is built from a cumulative hierarchy \mathrm_\alpha. *The sets \mathrm_\alpha of the constructible universe form a cumulative hie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Löwenheim–Skolem Theorem
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. The precise formulation is given below. It implies that if a countable first-order theory has an infinite model, then for every infinite cardinal number ''κ'' it has a model of size ''κ'', and that no first-order theory with an infinite model can have a unique model up to isomorphism. As a consequence, first-order theories are unable to control the cardinality of their infinite models. The (downward) Löwenheim–Skolem theorem is one of the two key properties, along with the compactness theorem, that are used in Lindström's theorem to characterize first-order logic. In general, the Löwenheim–Skolem theorem does not hold in stronger logics such as second-order logic. Theorem In its general form, the Löwenheim–Skolem Theorem states that for every signature ''σ'', every infinite ''σ''-structure '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Model
In set theory, a standard model for a theory T is a model M for T where the membership relation \in_M is the same as the membership relation \in of the set theoretical universe V (restricted to the domain of M). In other words, M is a substructure of V. A standard model M that satisfies the additional transitivity condition that x \in y \in M implies x \in M is a standard transitive model (or simply a transitive model). Usually, when one talks about a model M of set theory, it is assumed that M is a set model, i.e. the domain of M is a set in V. If the domain of M is a proper class, then M is a class model. An inner model In set theory, a branch of mathematical logic, an inner model for a theory ''T'' is a substructure of a model ''M'' of a set theory that is both a model for ''T'' and contains all the ordinals of ''M''. Definition Let L = \langle \in \rangl ... is necessarily a class model. References * * {{uncategorized, date=April 2023 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
