|
Extensible Cardinal
In mathematics, extendible cardinals are large cardinals introduced by , who was partly motivated by reflection principles. Intuitively, such a cardinal represents a point beyond which initial pieces of the universe of sets start to look similar, in the sense that each is elementarily embeddable into a later one. Definition For every ordinal ''η'', a cardinal κ is called η-extendible if for some ordinal ''λ'' there is a nontrivial elementary embedding ''j'' of ''V''κ+η into ''V''λ, where ''κ'' is the critical point of ''j'', and as usual ''Vα'' denotes the ''α''th level of the von Neumann hierarchy. A cardinal ''κ'' is called an extendible cardinal if it is ''η''-extendible for every nonzero ordinal ''η'' (Kanamori 2003). Variants and relation to other cardinals A cardinal ''κ'' is called ''η-C(n)''-extendible if there is an elementary embedding ''j'' witnessing that ''κ'' is ''η''-extendible (that is, ''j'' is elementary from ''Vκ+η'' to some ''Vλ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Large Cardinal
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 philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Neumann Universe
In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by ''V'', is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930. The rank of a well-founded set is defined inductively as the smallest ordinal number greater than the ranks of all members of the set. In particular, the rank of the empty set is zero, and every ordinal has a rank equal to itself. The sets in ''V'' are divided into the transfinite hierarchy ''Vα'', called the cumulative hierarchy, based on their rank. Definition The cumulative hierarchy is a collection of sets ''V''α indexed by the class of ordinal numbers; in particular, ''V''α is the set of all sets having ranks less than α. Thus there is one set ... [...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 para ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Number
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally as linearly ordered labels that include the natural numbers and have the property that every set of ordinals has a least element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega that is greater than every natural number, along with ordinal numbers \omega + 1, \omega + 2, etc., which are even greater than \omega. A linear order such that every subset has a least element is called a well-order. The axiom of choice implies that every set can be well-ordered, and given two well-ordered sets, one is isomorphic to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cardinal Number
In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets. The cardinality of a finite set is a natural number: the number of elements in the set. The ''transfinite'' cardinal numbers, often denoted using the Hebrew symbol \aleph ( aleph) followed by a subscript, describe the sizes of infinite sets. Cardinality is defined in terms of bijective functions. Two sets have the same cardinality if, and only if, there is a one-to-one correspondence (bijection) between the elements of the two sets. In the case of finite sets, this agrees with the intuitive notion of size. In the case of infinite sets, the behavior is more complex. A fundamental theorem due to Georg Cantor shows that it is possible for infinite sets to have different cardinalities, and in particular the cardinality of the set of real numbers is greater than the cardinality of the set of natural numbers. It is also possible for ... [...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 \. Generally, there will be many other <''κ''-complete, non-principal ultrafilters over . However, might be different from the |
Lévy Hierarchy
In set theory and mathematical logic, the Lévy hierarchy, introduced by Azriel Lévy in 1965, is a hierarchy of formulas in the formal language of the Zermelo–Fraenkel set theory, which is typically called just the language of set theory. This is analogous to the arithmetical hierarchy, which provides a similar classification for sentences of the language of arithmetic. Definitions In the language of set theory, atomic formulas are of the form x = y or x ∈ y, standing for equality and set membership predicates, respectively. The first level of the Lévy hierarchy is defined as containing only formulas with no unbounded quantifiers, and is denoted by \Delta _0=\Sigma_0=\Pi_0.Walicki, Michal (2012). ''Mathematical Logic'', p. 225. World Scientific Publishing Co. Pte. Ltd. The next levels are given by finding an equivalent formula in prenex normal form, and counting the number of changes of quantifiers: In the theory ZFC, a formula A is called: \Sigma _ if A is equivalent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vopěnka's Principle
In mathematics, Vopěnka's principle is a large cardinal axiom. The intuition behind the axiom is that the set-theoretical universe is so large that in every proper class, some members are similar to others, with this similarity formalized through elementary embeddings. Vopěnka's principle was first introduced by Petr Vopěnka and independently considered by H. Jerome Keisler, and was written up by . According to , Vopěnka's principle was originally intended as a joke: Vopěnka was apparently unenthusiastic about large cardinals and introduced his principle as a bogus large cardinal property, planning to show later that it was not consistent. However, before publishing his inconsistency proof he found a flaw in it. Definition Vopěnka's principle asserts that for every proper class Proper may refer to: Mathematics * Proper map, in topology, a property of continuous function between topological spaces, if inverse images of compact subsets are compact * Proper morphism, in al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supercompact Cardinal
In set theory, a supercompact cardinal is a type of large cardinal. They display a variety of reflection properties. Formal definition If ''λ'' is any ordinal, ''κ'' is ''λ''-supercompact means that there exists an elementary embedding ''j'' from the universe ''V'' into a transitive inner model ''M'' with critical point ''κ'', ''j''(''κ'')>''λ'' and :^\lambda M\subseteq M \,. That is, ''M'' contains all of its ''λ''-sequences. Then ''κ'' is supercompact means that it is ''λ''-supercompact for all ordinals ''λ''. Alternatively, an uncountable cardinal ''κ'' is supercompact if for every ''A'' such that , ''A'', ≥ ''κ'' there exists a normal measure over 'A''sup>< ''κ'' with the additional property that every function such that is constant on a set in . Here "constan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Large Cardinal Properties
This page includes a list of cardinals with large cardinal properties. It is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions φ of lesser consistency strength, ''V''κ satisfies "there is an unbounded class of cardinals satisfying φ". The following table usually arranges cardinals in order of consistency strength, with size of the cardinal used as a tiebreaker. In a few cases (such as strongly compact cardinals) the exact consistency strength is not known and the table uses the current best guess. * "Small" cardinals: 0, 1, 2, ..., \aleph_0, \aleph_1,..., \kappa = \aleph_, ... (see Aleph number) * worldly cardinals * weakly and strongly inaccessible, α-inaccessible, and hyper inaccessible cardinals * weakly and strongly Mahl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
