|
Rank-into-rank
In set theory, a branch of mathematics, a rank-into-rank embedding is a large cardinal property defined by one of the following four axioms given in order of increasing consistency strength. (A set of rank < \lambda is one of the elements of the set of the von Neumann hierarchy.) *Axiom I3: There is a nontrivial elementary embedding of into itself. *Axiom I2: There is a nontrivial elementary embedding of into a transitive class that includes where is the first fixed point above the critical point (set theory), critical point. *Axiom I1: There is a nontrivial elementary embedding of into itself. *Axiom I0: There is a nontrivial elementary embedding of into itself with critical point below . These are essentially the strongest known large cardinal axioms not known to be inconsistent in ZFC; the axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Huge Cardinal
In mathematics, a cardinal number \kappa is called huge if there exists an elementary embedding j : V \to M from V into a transitive inner model M with critical point \kappa and :^M \subset M. Here, ^\alpha M is the class of all sequences of length \alpha whose elements are in M. Huge cardinals were introduced by . Variants In what follows, j^n refers to the n-th iterate of the elementary embedding j, that is, j composed with itself n times, for a finite ordinal n. Also, ^M is the class of all sequences of length less than \alpha whose elements are in M. Notice that for the "super" versions, \gamma should be less than j(\kappa), not . κ is almost n-huge if and only if there is j : V \to M with critical point \kappa and :^M \subset M. κ is super almost n-huge if and only if for every ordinal γ there is j : V \to M with critical point \kappa, \gamma< j(\kappa), and : κ is n-huge if and only if there is with cri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Embedding
In model theory, a branch of mathematical logic, two structures ''M'' and ''N'' of the same signature ''σ'' are called elementarily equivalent if they satisfy the same first-order ''σ''-sentences. If ''N'' is a substructure of ''M'', one often needs a stronger condition. In this case ''N'' is called an elementary substructure of ''M'' if every first-order ''σ''-formula ''φ''(''a''1, …, ''a''''n'') with parameters ''a''1, …, ''a''''n'' from ''N'' is true in ''N'' if and only if it is true in ''M''. If ''N'' is an elementary substructure of ''M'', then ''M'' is called an elementary extension of ''N''. An embedding ''h'': ''N'' → ''M'' is called an elementary embedding of ''N'' into ''M'' if ''h''(''N'') is an elementary substructure of ''M''. A substructure ''N'' of ''M'' is elementary if and only if it passes the Tarski–Vaught test: every first-order formula ''φ''(''x'', ''b''1, …, ''b''''n'') with p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), 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 of set theory, 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 the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Large Cardinal Property
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'. The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. In modern logic, an axiom is a premise or starting point for reasoning. In mathematics, an ''axiom'' may be a " logical axiom" or a " non-logical axiom". Logical axioms are taken to be true within the system of logic they define and are often shown in symbolic form (e.g., (''A'' and ''B'') implies ''A''), while non-logical axioms are substantive assertions about the elements of the domain of a specific mathematical theory, for example ''a'' + 0 = ''a'' in integer arithmetic. N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Neumann Hierarchy
The term () is used in German surnames either as a nobiliary particle indicating a noble patrilineality, or as a simple preposition used by commoners that means or . Nobility directories like the often abbreviate the noble term to ''v.'' In medieval or early modern names, the particle was at times added to commoners' names; thus, meant . This meaning is preserved in Swiss toponymic surnames and in the Dutch , which is a cognate of but also does not necessarily indicate nobility. Usage Germany and Austria The abolition of the monarchies in Germany and Austria in 1919 meant that neither state has a privileged nobility, and both have exclusively republican governments. In Germany, this means that legally ''von'' simply became an ordinary part of the surnames of the people who used it. There are no longer any legal privileges or constraints associated with this naming convention. According to German alphabetical sorting, people with ''von'' in their surnames – of nob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Critical Point (set Theory)
In set theory, the critical point of an elementary embedding of a transitive class into another transitive class is the smallest ordinal which is not mapped to itself. p. 323 Suppose that j: N \to M is an elementary embedding where N and M are transitive classes and j is definable in N by a formula of set theory with parameters from N. Then j must take ordinals to ordinals and j must be strictly increasing. Also j(\omega) = \omega. If j(\alpha) = \alpha for all \alpha \kappa, then \kappa is said to be the critical point of j. If N is '' V'', then \kappa (the critical point of j) is always a measurable cardinal, i.e. an uncountable cardinal number ''κ'' such that there exists a \kappa-complete, non-principal ultrafilter over \kappa. Specifically, one may take the filter to be \, which defines a bijection between elementary embeddings and ultrafilters. Generally, there will be many other <''κ''-complete, non-principal ultrafilters over . However, |
Reinhardt Cardinal
In set theory, a Reinhardt cardinal is a kind of large cardinal. Reinhardt cardinals are considered under ZF (Zermelo–Fraenkel set theory without the Axiom of Choice), because they are inconsistent with ZFC (ZF with the Axiom of Choice). They were suggested by American mathematician William Nelson Reinhardt (1939–1998). Definition A Reinhardt cardinal is the critical point of a non-trivial elementary embedding j:V\to V of '' V'' into itself. This definition refers explicitly to the proper class j. In standard ZF, classes are of the form \ for some set a and formula \phi. But it was shown in that no such class is an elementary embedding j:V\to V. So Reinhardt cardinals are inconsistent with this notion of class. There are other formulations of Reinhardt cardinals which are not known to be inconsistent. One is to add a new function symbol j to the language of ZF, together with axioms stating that j is an elementary embedding of V, and Separation and Collection axioms for all ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Choice
In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory. Informally put, the axiom of choice says that given any collection of non-empty sets, it is possible to construct a new set by choosing one element from each set, even if the collection is infinite. Formally, it states that for every indexed family (S_i)_ of nonempty sets (S_i as a nonempty set indexed with i), there exists an indexed set (x_i)_ such that x_i \in S_i for every i \in I. The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem. The axiom of choice is equivalent to the statement that every partition has a transversal. In many cases, a set created by choosing elements can be made without invoking the axiom of choice, particularly if the number of sets from which to choose the elements is finite, or if a canonical rule on how to choose the elements is available — some distinguishing property that happens to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit Ordinal
In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists an ordinal γ such that β 0, are limits of limits, etc. Properties The classes of successor ordinals and limit ordinals (of various cofinalities) as well as zero exhaust the entire class of ordinals, so these cases are often used in proofs by transfinite induction or definitions by transfinite recursion. Limit ordinals represent a sort of "turning point" in such procedures, in which one must use limiting operations such as taking the union over all preceding ordinals. In principle, one could do anything at limit ordinals, but taking the union is continuous in the order topology and this is usually desirable. If we use the von Neumann cardinal assignment, every infinite cardinal number In mathematics, a cardinal number, or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cofinality
In mathematics, especially in order theory, the cofinality cf(''A'') of a partially ordered set ''A'' is the least of the cardinalities of the cofinal subsets of ''A''. Formally, :\operatorname(A) = \inf \ This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set ''A'' can alternatively be defined as the least ordinal ''x'' such that there is a function from ''x'' to ''A'' with cofinal image. This second definition makes sense without the axiom of choice. If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent. Cofinality can be similarly defined for a directed set and is used to generalize the notion of a subsequence in a net. Examples * The cofinality of a partially ordered set with greatest element is 1 as the set consisting only of the greatest element is cofinal (and must be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
