Saharon Shelah
E512976
Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Saharon Shelah canonical | 1 |
| Shelah | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5335954 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Saharon Shelah Context triple: [EATCS Award, notableRecipient, Saharon Shelah]
-
A.
Shelah
Shelah is a minor biblical figure mentioned in the Book of Genesis as one of the sons in the family line of Judah.
-
B.
Stefan König
Stefan König is a German actor known for his work in film, television, and theater.
-
C.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
D.
Ehud Kalai
Ehud Kalai is an Israeli-American game theorist and economist known for his influential contributions to bargaining theory, game theory, and economic theory.
-
E.
Reuben Hersh
Reuben Hersh was an American mathematician and philosopher of mathematics known for his humanistic and sociocultural views on the nature of mathematical practice.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Saharon Shelah Target entity description: Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
-
A.
Shelah
Shelah is a minor biblical figure mentioned in the Book of Genesis as one of the sons in the family line of Judah.
-
B.
Stefan König
Stefan König is a German actor known for his work in film, television, and theater.
-
C.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
D.
Ehud Kalai
Ehud Kalai is an Israeli-American game theorist and economist known for his influential contributions to bargaining theory, game theory, and economic theory.
-
E.
Reuben Hersh
Reuben Hersh was an American mathematician and philosopher of mathematics known for his humanistic and sociocultural views on the nature of mathematical practice.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ |
| awardReceived |
EMET Prize
NERFINISHED
ⓘ
Israel Prize NERFINISHED ⓘ Steele Prize for Seminal Contribution to Research NERFINISHED ⓘ Wolf Prize in Mathematics NERFINISHED ⓘ |
| countryOfCitizenship | Israel ⓘ |
| dateOfBirth | 1945-07-03 ⓘ |
| doctoralAdvisor | Haim Gaifman NERFINISHED ⓘ |
| educatedAt | Hebrew University of Jerusalem NERFINISHED ⓘ |
| employer |
Hebrew University of Jerusalem
NERFINISHED
ⓘ
Rutgers University NERFINISHED ⓘ |
| familyName | Shelah NERFINISHED ⓘ |
| fieldOfWork |
Boolean algebras
ⓘ
cardinal arithmetic ⓘ classification theory ⓘ combinatorial set theory ⓘ general topology ⓘ mathematical logic ⓘ model theory ⓘ set theory ⓘ |
| givenName | Saharon NERFINISHED ⓘ |
| hasPublication |
Cardinal Arithmetic
NERFINISHED
ⓘ
Classification Theory and the Number of Nonisomorphic Models NERFINISHED ⓘ Classification Theory for Abstract Elementary Classes NERFINISHED ⓘ Proper and Improper Forcing NERFINISHED ⓘ |
| language |
English
ⓘ
Hebrew ⓘ |
| memberOf |
American Academy of Arts and Sciences
ⓘ
Israel Academy of Sciences and Humanities NERFINISHED ⓘ National Academy of Sciences ⓘ |
| name | Saharon Shelah NERFINISHED ⓘ |
| notableIdea |
Shelah’s PCF theory of possible cofinalities
ⓘ
Shelah’s approach to singular cardinal hypothesis ⓘ Shelah’s proper forcing axiom variants NERFINISHED ⓘ Shelah’s stability spectrum theorem NERFINISHED ⓘ |
| notableWork |
PCF theory
NERFINISHED
ⓘ
Shelah’s classification program ⓘ Shelah’s eventual categoricity conjecture NERFINISHED ⓘ Shelah’s singular cardinal theory NERFINISHED ⓘ Shelah’s work on Boolean algebras ⓘ Shelah’s work on Whitehead groups ⓘ Shelah’s work on cardinal invariants of the continuum ⓘ Shelah’s work on non-structure theory ⓘ classification theory of models ⓘ proper forcing theory NERFINISHED ⓘ stability theory ⓘ |
| placeOfBirth | Jerusalem NERFINISHED ⓘ |
| workLocation |
Jerusalem
NERFINISHED
ⓘ
New Brunswick, New Jersey NERFINISHED ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Saharon Shelah Description of subject: Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Shelah