Chang's conjecture

In model theory, a branch of mathematical logic, Chang's conjecture, attributed to Chen Chung Chang by Vaught (1963, p. 309), states that every model of type (ω₂,ω₁) for a countable language has an elementary submodel of type (ω₁, ω). 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. Silver proved the consistency of Chang's conjecture from the consistency of an ω₁-Erdős cardinal. Hans-Dieter Donder showed the reverse implication: if CC holds, then ω₂ is ω₁-Erdős in 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)\twoheadrightarrow(\omega_2,\omega_1)$ was shown by Laver from the consistency of a huge cardinal.

References

• Chang, Chen Chung; Keisler, H. Jerome (1990), Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3 
• Vaught, R. L. (1963), "Models of complete theories", Bulletin of the American Mathematical Society 69: 299–313, doi:10.1090/S0002-9904-1963-10903-9, ISSN 0002-9904, MR0147396, http://www.ams.org/bull/1963-69-03/S0002-9904-1963-10903-9/home.html 

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Model theory Set theory Mathematical logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужна курсовая? Chang'e 3 Chang-Du dialect Look at other dictionaries: Chen Chung Chang — is a mathematician who works 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 Chang Keisler (1990) on model theory. Chang s… …   Wikipedia Poincaré conjecture — In mathematics, the Poincaré conjecture (French, pronounced|pwɛ̃kaʀe) [cite encyclopedia | encyclopedia=The American Heritage Dictionary of the English Language | title=Poincaré, Jules Henri | url=http://www.bartleby.com/61/3/P0400300.html |… …   Wikipedia Solution of the Poincaré conjecture — This entry describes the solution of the Poincaré conjecture at a level intended for the general public. The proof described is that of Grigori Perelman using the Ricci flow developed by Richard Hamilton. Links to other expositions for general… …   Wikipedia PCF theory — is the name of a mathematical theory, introduced by Saharon Shelah (1978), that deals with the cofinality of the ultraproducts of ordered sets. It gives strong upper bounds on the cardinalities of power sets of singular cardinals, and has… …   Wikipedia Stationary set — In mathematics, particularly in set theory and model theory, there are at least three notions of stationary set:Classical notionIf kappa is a cardinal of uncountable cofinality, Csubseteqkappa, and C intersects every club in kappa, then C is… …   Wikipedia Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français MODÈLES (THÉORIE DES) — «Modèle» est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples [cf. MODÈLE]. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble… …   Encyclopédie Universelle Chen Jingrun — Born May 22, 1933(1933 05 22) Fuzhou, Fujian Province …   Wikipedia Anthropology and Archaeology — ▪ 2009 Introduction Anthropology       Among the key developments in 2008 in the field of physical anthropology was the discovery by a large interdisciplinary team of Spanish and American scientists in northern Spain of a partial mandible (lower… …   Universalium Cold fusion — This article is about the Fleischmann–Pons claims of nuclear fusion at room temperature. For the original use of the term cold fusion , see Muon catalyzed fusion. For all other definitions, see Cold fusion (disambiguation). Diagram of an open… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”