Saharon Shelah (שַׂהֲרֹן שֶׁלַח Śahăron Šelaḥ, Hebrew pronunciation:[sähäʁo̞nʃe̞läχ]; born July 3, 1945) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.
^Saharon Shelah at the Mathematics Genealogy Project
SaharonShelah (שַׂהֲרֹן שֶׁלַח Śahăron Šelaḥ, Hebrew pronunciation: [sähäʁo̞n ʃe̞läχ]; born July 3, 1945) is an Israeli mathematician. He is a professor...
Rabbi Isaiah Horowitz most influential work Ofer Shelah (born 1960), Israeli politician SaharonShelah (born 1945), a contemporary mathematician working...
Is every abelian group A with Ext1(A, Z) = 0 a free abelian group? SaharonShelah proved that Whitehead's problem is independent of ZFC, the standard...
PCF theory is the name of a mathematical theory, introduced by SaharonShelah (1978), that deals with the cofinality of the ultraproducts of ordered sets...
elementary class in first-order model theory. They were introduced by SaharonShelah. ⟨ K , ≺ K ⟩ {\displaystyle \langle K,\prec _{K}\rangle } , for K {\displaystyle...
cardinality, then it is categorical in all uncountable cardinalities. SaharonShelah (1974) extended Morley's theorem to uncountable languages: if the language...
consistency of a Mahlo cardinal. This theorem of Shelah answers a question of H. Friedman. In 1973, SaharonShelah showed that the Whitehead problem ("is every...
in 1954. Since the 1970s, the subject has been shaped decisively by SaharonShelah's stability theory. Compared to other areas of mathematical logic such...
dimensions. The Perles–Sauer–Shelah lemma, a result in extremal set theory whose proof was credited to Perles by SaharonShelah. The pumping lemma for context-free...
term. This result was later generalized by Rice's theorem. In 1973, SaharonShelah showed the Whitehead problem in group theory is undecidable, in the...
longer be settled in the manner formerly hoped for". In a related vein, SaharonShelah wrote that he does "not agree with the pure Platonic view that the interesting...
uncountable κ. This was proved by SaharonShelah. For this, he proved a very deep dichotomy theorem. SaharonShelah gave an almost complete solution to...
transcendentality, superstability and stability. This result is due to SaharonShelah, who also defined stability and superstability. Theorem. Every countable...
von Neumann Giuseppe Peano Willard Quine Bertrand Russell Dana Scott SaharonShelah Wacław Sierpiński Jack Silver Thoralf Skolem Robert M. Solovay Mikhail...
clear that ◊ ⇒ ♣, and it was shown in 1975 that ♣ + CH ⇒ ◊; however, SaharonShelah gave a proof in 1980 that there exists a model of ♣ in which CH does...
joint papers with SaharonShelah connecting topology, set theory, and model theory.[MS13][MS16] In this work, Malliaris and Shelah used Keisler's order...
all analytic sets then x# exists for all reals x, and proving with SaharonShelah that the first-order theory of the partially ordered set of recursively...
infinite graph has an unfriendly partition into two subsets. However, SaharonShelah and Eric Charles Milner disproved the conjecture, showing that uncountable...
Strong finite intersection property SH Suslin's hypothesis Shelah 1. SaharonShelah 2. A Shelah cardinal is a large cardinal that is the critical point...
Whitehead groups of infinite order also free abelian groups? In the 1970s, SaharonShelah proved that the Whitehead problem is: Undecidable in ZFC (Zermelo–Fraenkel...
true by set theorists, but it cannot be proven in ZFC alone. In 1980, SaharonShelah proved that it is not possible to establish Solovay's result without...
simplified, and made widely accessible, a general preservation theorem of SaharonShelah for countable support proper forcing iterations. In 1993 he started...