Saharon Shelah

• in model theory, the introduction and development of his classification theory, which led him to a solution of Morley's problem
• in set theory,
• the invention of the notion of proper forcing, an important tool in iterated forcing arguments
• PCF theory, which shows that in spite of the undecidability of the most basic questions of cardinal arithmetic (such as the continuum hypothesis), there are highly nontrivial ZFC theorems about cardinal exponentiation, after all.

• he showed that Whitehead problem is undecidable
• There is a primitive recursive upper bound to van der Waerden's numbers V(C,N).

External links

• Archive of Shelah's mathematical papers

<< Previous Word Browser Next >>
stjepan mesic standard records contig christian bale archibald fountain towns of the united kingdom george barker livecd tonsil tonsillectomy joseph plateau	bedwetting variste rgis huc ack trench coat all men are created equal david bowie discography list of male television actors list of female television actors revolutionary front for an independent east timor mass surveillance cassock	mysophilia beignet tim wakefield king qing of zhou croatian communist party du fu creatine chief executive calico, california eamonn coghlan pharamond	asiana airlines british european airways list of turkish television channels list of chinese language television channels lexilink le rire thomas bartholin pseudoinverse rire mdecin hearing (sense) king kuang of zhou