Jack Silver
≈ 2 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
Jack Howard Silver (23 April 1942 – 22 December 2016 ) was an American set theorist and logician at the University of California, Berkeley. Silver made several contributions to set theory in the areas of large cardinals and the constructible universe L.
Jack Howard Silver (23 April 1942 – 22 December 2016 ) was an American set theorist and logician at the University of California, Berkeley. Silver made several contributions to set theory in the areas of large cardinals and the constructible universe L. 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 λ κ = κ + . Prior to Silver's proof, many mathematicians believed that a forcing argument would yield that the negation of the theorem is consistent with ZFC. He introduced the notion of a master condition, which became an important tool in forcing proofs involving large cardinals. Silver proved the consistency of Chang's conjecture using the Silver collapse (which is a variation of the Levy collapse). He proved that, assuming the consistency of a supercompact cardinal, it is possible to construct a model where 2 κ = κ ++ holds for some measurable cardinal κ. With the introduction of the so-called Silver machines he was able to give a fine structure free proof of Jensen's covering lemma. He is also credited with discovering Silver indiscernibles and generalizing the notion of a Kurepa tree (called Silver's Principle). He discovered 0# ("zero sharp") in his 1966 Ph.D. thesis, discussed in the graduate textbook Set Theory: An Introduction to Large Cardinals by Frank R. Drake. Silver's original work involving large cardinals was perhaps motivated by the goal of showing the inconsistency of an uncountable measurable cardinal; instead he was led to discover indiscernibles in L assuming a measurable cardinal exists.
References
External links
Jack Silver at Berkeley
Text derived from https://en.wikipedia.org/w/index.php?oldid=1372616059 under CC BY-SA 4.0; modifications have been made.