|
Chang's Conjecture
In model theory, a branch of mathematical logic, Chang's conjecture, attributed to Chen Chung Chang by , states that every model of type (ω2,ω1) for a countable language has an elementary submodel of type (ω1, ω). A model is of type (α,β) if it is of cardinality α and a unary relation is represented by a subset of cardinality β. The usual notation is (\omega_2,\omega_1)\twoheadrightarrow(\omega_1,\omega). The axiom of constructibility implies that Chang's conjecture fails. Jack Silver, Silver proved the consistency of Chang's conjecture from the consistency of an ω1-Erdős cardinal. Hans-Dieter Donder showed a weak version of the reverse implication: if CC is not only consistent but actually holds, then ω2 is ω1-Erdős in core model, K. More generally, Chang's conjecture for two pairs (α,β), (γ,δ) of cardinals is the claim that every model of type (α,β) for a countable language has an elementary submodel of type (γ,δ). The consistency of (\omega_3,\omega_2)\twohe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chen Chung Chang
Chen Chung Chang (Chinese: 张晨钟) was a mathematician who worked in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He wrote the standard text on model theory. Chang's conjecture and Chang's model are named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for Ramsey theory) ωω→(ωω,3)2, originally a problem of Erdős and Hajnal. He also introduced MV-algebras as models for Łukasiewicz logic. Chang was a professor at the mathematics department of the University of California, Los Angeles The University of California, Los Angeles (UCLA) is a public land-grant research university in Los Angeles, California. UCLA's academic roots were established in 1881 as a teachers college then known as the southern branch of the California St .... Selected publications * * * C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the Am ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Constructibility
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible universe, constructible. The axiom is usually written as ''V'' = ''L'', where ''V'' and ''L'' denote the von Neumann universe and the constructible universe, respectively. The axiom, first investigated by Kurt Gödel, is inconsistent with the proposition that zero sharp exists and stronger large cardinal axioms (see list of large cardinal properties). Generalizations of this axiom are explored in inner model theory. Implications The axiom of constructibility implies the axiom of choice (AC), given Zermelo–Fraenkel set theory without the axiom of choice (ZF). It also settles many natural mathematical questions that are independent of Zermelo–Fraenkel set theory with the axiom of choice (ZFC); for example, the axiom of constructibility implies the Continuum hypothesis#The generalized continuum hypothesis, generalized continuum hypothesis, the negation of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jack Silver
Jack Howard Silver (23 April 1942 – 22 December 2016) was a set theorist and logician at the University of California, Berkeley. Born in Montana, he earned his Ph.D. in Mathematics at Berkeley in 1966 under Robert Vaught before taking a position at the same institution the following year. He held an Alfred P. Sloan Research Fellowship from 1970 to 1972. Silver made several contributions to set theory in the areas of large cardinals and the constructible universe ''L''. Contributions In his 1975 paper "On the Singular Cardinals Problem", Silver proved that if a cardinal ''κ'' is singular with uncountable cofinality and 2''λ'' = ''λ''+ for all infinite cardinals ''λ'' < ''κ'', then 2''κ'' = ''κ''+. Prior to Silver's proof, many mathematicians believed that a forcing argument would yield that the negation of the theorem is |
Erdős Cardinal
In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by . The Erdős cardinal is defined to be the least cardinal such that for every function there is a set of order type that is homogeneous for (if such a cardinal exists). In the notation of the partition calculus, the Erdős cardinal is the smallest cardinal such that : Existence of zero sharp implies that the constructible universe satisfies "for every countable ordinal , there is an -Erdős cardinal". In fact, for every indiscernible satisfies "for every ordinal , there is an -Erdős cardinal in (the Levy collapse to make countable)". However, existence of an -Erdős cardinal implies existence of zero sharp. If is the satisfaction relation for (using ordinal parameters), then existence of zero sharp is equivalent to there being an -Erdős ordinal with respect to . And this in turn, the zero sharp implies the falsity of axiom of constructibility, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Core Model
In set theory, the core model is a definable inner model of the von Neumann universe, universe of all Set (mathematics), sets. Even though set theorists refer to "the core model", it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the right set-theoretic assumptions have very special properties, most notably covering lemma, covering properties. Intuitively, the core model is "the largest canonical inner model there is" (Ernest Schimmerling and John R. Steel) and is typically associated with a large cardinal notion. If Φ is a large cardinal notion, then the phrase "core model below Φ" refers to the definable inner model that exhibits the special properties under the assumption that there does ''not'' exist a cardinal satisfying Φ. The core model program seeks to analyze large cardinal axioms by determining the core models below them. History The first core model was Kurt Gödel's constructible universe L. Ronald Jensen proved the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Laver
Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory. Biography Laver received his PhD at the University of California, Berkeley in 1969, under the supervision of Ralph McKenzie, with a thesis on ''Order Types and Well-Quasi-Orderings''. The largest part of his career he spent as Professor and later Emeritus Professor at the University of Colorado at Boulder. Richard Laver died in Boulder, CO, on September 19, 2012 after a long illness. Research contributions Among Laver's notable achievements some are the following. * Using the theory of better-quasi-orders, introduced by Nash-Williams, (an extension of the notion of well-quasi-ordering), he proved Fraïssé's conjecture (now Laver's theorem): if (''A''0,≤),(''A''1,≤),...,(''A''''i'',≤), are countable ordered sets, then for some ''i''<''j'' (''A''i,≤) isomorphically embeds into (''A''''j'',≤). This also holds if the ordered sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Huge Cardinal
In mathematics, a cardinal number κ is called huge if there exists an elementary embedding ''j'' : ''V'' → ''M'' from ''V'' into a transitive inner model ''M'' with critical point (set theory), critical point κ and :^M \subset M.\! Here, ''αM'' is the class of all sequences of length α 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 function composition, composed with itself ''n'' times, for a finite ordinal ''n''. Also, ''<αM'' is the class of all sequences of length less than α whose elements are in M. Notice that for the "super" versions, γ should be less than j(κ), not . κ is almost n-huge if and only if there is ''j'' : ''V'' → ''M'' with critical point κ and :^M \subset M.\! κ is super almost n-huge if and only if for every ordinal γ there is ''j'' : ''V'' → ''M'' with critical point κ, γ<j(κ), and :^M \subset M.\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elsevier
Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', the '' Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services also include digital tools for data management, instruction, research analytics and assessment. Elsevier is part of the RELX Group (known until 2015 as Reed Elsevier), a publicly traded company. According to RELX reports, in 2021 Elsevier published more than 600,000 articles annually in over 2,700 journals; as of 2018 its archives contained over 17 million documents and 40,000 e-books, with over one billion annual downloads. Researchers have criticized Elsevier for its high profit marg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulletin Of The American Mathematical Society
The ''Bulletin of the American Mathematical Society'' is a quarterly mathematical journal published by the American Mathematical Society. Scope It publishes surveys on contemporary research topics, written at a level accessible to non-experts. It also publishes, by invitation only, book reviews and short ''Mathematical Perspectives'' articles. History It began as the ''Bulletin of the New York Mathematical Society'' and underwent a name change when the society became national. The Bulletin's function has changed over the years; its original function was to serve as a research journal for its members. Indexing The Bulletin is indexed in Mathematical Reviews, Science Citation Index, ISI Alerting Services, CompuMath Citation Index, and Current Contents/Physical, Chemical & Earth Sciences. See also *'' Journal of the American Mathematical Society'' *''Memoirs of the American Mathematical Society'' *''Notices of the American Mathematical Society'' *'' Proceedings of the American M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
