M
Menachem Magidor
Researcher at Hebrew University of Jerusalem
Publications - 106
Citations - 6885
Menachem Magidor is an academic researcher from Hebrew University of Jerusalem. The author has contributed to research in topics: Cofinality & Large cardinal. The author has an hindex of 30, co-authored 104 publications receiving 6512 citations. Previous affiliations of Menachem Magidor include Ben-Gurion University of the Negev.
Papers
More filters
Journal ArticleDOI
Nonmonotonic reasoning, preferential models and cumulative logics
TL;DR: In this paper, a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13], are studied from both proof-theoretic and semantic points of view.
Posted Content
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
TL;DR: The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.
Journal ArticleDOI
What does a conditional knowledge base entail
Daniel Lehmann,Menachem Magidor +1 more
TL;DR: It is argued that any reasonable nonmonotonic inference procedure should define a rational relation and it is shown that the rational relations are exactly those that may be represented by a ranked preferential model, or by a (nonstandard) probabilistic model.
Journal ArticleDOI
Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II
TL;DR: In this article, the existence of a huge cardinal was shown to imply the consistency of fully non-regular ultrafilters on the successor of any regular cardinal, and they also constructed ultra-filters with ultra-products of small cardinality.
Journal ArticleDOI
Squares, scales and stationary reflection
TL;DR: Interactions between these three theories in the context of singular cardinals are considered, focusing on the various implications between square and scales (a fundamental notion in PCF theory), and on consistency results between relatively strong forms of square and stationary set reflection.