Menachem Magidor

Publication Activity (10 Years)

Years Active: 1977-2022
Publications (10 Years): 14

Top Topics

Computational Effort

Tree Structures

Top Venues

Ann. Pure Appl. Log.

Electron. J. Comb.

Publications

Yair Hayut, Menachem Magidor, Alejandro Poveda
Identity Crisis between supercompactness and VǒPenka's Principle. J. Symb. Log. 87 (2) (2022)
Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor
Forcing axioms and the Galvin number. Period. Math. Hung. 84 (2) (2022)
Yair Hayut, Menachem Magidor
Subcompact Cardinals, Type Omission, and ladder Systems. J. Symb. Log. 87 (3) (2022)
James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger
The Tree Property at the two Immediate Successors of a singular cardinal. J. Symb. Log. 86 (2) (2021)
Ilijas Farah, Menachem Magidor
Corson reflections. Ann. Pure Appl. Log. 172 (5) (2021)
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
Inner models from extended logics: Part 1. J. Math. Log. 21 (2) (2021)
Joan Bagaria, Menachem Magidor, Salvador Mancilla
The consistency strength of hyperstationarity. J. Math. Log. 20 (1) (2020)
Shimon Garti, Menachem Magidor, Saharon Shelah
Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado. Electron. J. Comb. 27 (2) (2020)
Yair Hayut, Menachem Magidor
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$. J. Symb. Log. 84 (2) (2019)
James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot
The eightfold Way. J. Symb. Log. 83 (1) (2018)
Shimon Garti, Menachem Magidor, Saharon Shelah
On the Spectrum of Characters of Ultrafilters. Notre Dame J. Formal Log. 59 (3) (2018)
Ilijas Farah, Menachem Magidor
Omitting types in logic of metric structures. J. Math. Log. 18 (2) (2018)
Laura Fontanella, Menachem Magidor
Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinal. J. Symb. Log. 82 (1) (2017)
Moti Gitik, Menachem Magidor
SPFA by finite conditions. Arch. Math. Log. 55 (5-6) (2016)
Brent Cody, Menachem Magidor
On supercompactness and the continuum function. Ann. Pure Appl. Log. 165 (2) (2014)
Joan Bagaria, Menachem Magidor
ON ${\omega _1}$-STRONGLY COMPACT CARDINALS. J. Symb. Log. 79 (1) (2014)
Menachem Magidor, Jouko Väänänen
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. 11 (1) (2011)
Sy-David Friedman, Menachem Magidor
The number of normal measures. J. Symb. Log. 74 (3) (2009)
Moti Gitik, Menachem Magidor
On Partially Wellfounded Generic Ultrapowers. Pillars of Computer Science (2008)
James Cummings, Matthew Foreman, Menachem Magidor
Canonical structure in the universe of set theory: part two. Ann. Pure Appl. Log. 142 (1-3) (2006)
James Cummings, Matthew Foreman, Menachem Magidor
Canonical structure in the universe of set theory: part one. Ann. Pure Appl. Log. 129 (1-3) (2004)
James Cummings, Matthew Foreman, Menachem Magidor
The non-compactness of square. J. Symb. Log. 68 (2) (2003)
Daniel Lehmann, Menachem Magidor, Karl Schlechta
Distance Semantics for Belief Revision CoRR (2002)
Sarit Kraus, Daniel Lehmann, Menachem Magidor
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics CoRR (2002)
Daniel Lehmann, Menachem Magidor
What does a conditional knowledge base entail? CoRR (2002)
Daniel Lehmann, Menachem Magidor, Karl Schlechta
Distance Semantics for Belief Revision. J. Symb. Log. 66 (1) (2001)
James Cummings, Matthew Foreman, Menachem Magidor
Squares, scales and stationary Reflection. J. Math. Log. 1 (1) (2001)
Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler
The Consistency Strength of Successive Cardinals with The Tree Property. J. Symb. Log. 66 (4) (2001)
Ran Rinat, Menachem Magidor, Scott F. Smith
Correspondence Polymorphism for Object-Oriented Languages. OOPSLA (1999)
Amir Leshem, Menachem Magidor
. J. Symb. Log. 64 (1) (1999)
Matthew Foreman, Menachem Magidor
A Very Weak Square Principle. J. Symb. Log. 62 (1) (1997)
Karl Schlechta, Daniel Lehmann, Menachem Magidor
Distance Semantics for Belief Revision. TARK (1996)
Rachel Ben-Eliyahu, Menachem Magidor
A Temporal Logic for Proving Properties of Topologically General Executions. Inf. Comput. 124 (2) (1996)
Ran Rinat, Menachem Magidor
Metaphoric Polymorphism: Taking Code Reuse One Step Further. ECOOP (1996)
Menachem Magidor, Saharon Shelah
The tree property at successors of singular cardinals. Arch. Math. Log. 35 (5-6) (1996)
Arthur W. Apter, Menachem Magidor
. Ann. Pure Appl. Log. 74 (3) (1995)
Matthew Foreman, Menachem Magidor
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. Ann. Pure Appl. Log. 76 (1) (1995)
Uri Abraham, Menachem Magidor
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions. Theor. Comput. Sci. 129 (1) (1994)
Moti Gitik, Menachem Magidor
Extender Based Forcings. J. Symb. Log. 59 (2) (1994)
Daniel Lehmann, Menachem Magidor
What does a Conditional Knowledge Base Entail? Artif. Intell. 55 (1) (1992)
Ron Aharoni, Menachem Magidor, Richard A. Shore
On the strength of König's duality theorem for infinite bipartite graphs. J. Comb. Theory, Ser. B 54 (2) (1992)
Maxim R. Burke, Menachem Magidor
Shelah's pcf Theory and Its Applications. Ann. Pure Appl. Log. 50 (3) (1990)
Sarit Kraus, Daniel Lehmann, Menachem Magidor
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artif. Intell. 44 (1-2) (1990)
Daniel Lehmann, Menachem Magidor
Preferential Logics: the Predicate Calculus Case. TARK (1990)
Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour
Some Highly Undecidable Lattices. Ann. Pure Appl. Log. 46 (1) (1990)
Shai Ben-David, Menachem Magidor
The Weak □* is Really Weaker than the Full □. J. Symb. Log. 51 (4) (1986)
Matthew Foreman, Menachem Magidor, Saharon Shelah
and Some Forcing Principles. J. Symb. Log. 51 (1) (1986)
Moti Gitik, Menachem Magidor, W. Hugh Woodin
. J. Symb. Log. 50 (3) (1985)
Menachem Magidor, Saharon Shelah, Jonathan Stavi
Countably decomposable admissible sets. Ann. Pure Appl. Log. 26 (3) (1984)
Menachem Magidor, Saharon Shelah, Jonathan Stavi
On the Standard Part of Nonstandard Models of Set Theory. J. Symb. Log. 48 (1) (1983)
Yuri Gurevich, Menachem Magidor, Saharon Shelah
. J. Symb. Log. 48 (2) (1983)
Menachem Magidor
Reflecting Stationary Sets. J. Symb. Log. 47 (4) (1982)
Thomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry
Precipitous Ideals. J. Symb. Log. 45 (1) (1980)
Fred Galvin, Thomas Jech, Menachem Magidor
An Ideal Game. J. Symb. Log. 43 (2) (1978)
Menachem Magidor
Chang's Conjecture and Powers of Singular Cardinals. J. Symb. Log. 42 (2) (1977)
Menachem Magidor, Jerome I. Malitz
. J. Symb. Log. 42 (2) (1977)