על קרדינלים סופר קומפקטיים (On supercompact cardinals.). - Menachem Magidor (1972)

Chang's Conjecture and Powers of Singular Cardinals. - Menachem Magidor (J. Symb. Log., 1977)

Compactness and Transfer for a Fragment of L2. - Menachem Magidor; Jerome I. Malitz (J. Symb. Log., 1977)

An Ideal Game. - Fred Galvin; Thomas Jech; Menachem Magidor (J. Symb. Log., 1978)

Precipitous Ideals. - Thomas Jech; Menachem Magidor; William John Mitchell; Karel Prikry (J. Symb. Log., 1980)

Reflecting Stationary Sets. - Menachem Magidor (J. Symb. Log., 1982)

The Monadic Theory of omega12. - Yuri Gurevich; Menachem Magidor; Saharon Shelah (J. Symb. Log., 1983)

On the Standard Part of Nonstandard Models of Set Theory. - Menachem Magidor; Saharon Shelah; Jonathan Stavi (J. Symb. Log., 1983)

Countably decomposable admissible sets. - Menachem Magidor; Saharon Shelah; Jonathan Stavi (Ann. Pure Appl. Log., 1984)

Two Weak Consequences of 0#. - Moti Gitik; Menachem Magidor; W. Hugh Woodin (J. Symb. Log., 1985)

The Weak □* is Really Weaker than the Full □. - Shai Ben-David; Menachem Magidor (J. Symb. Log., 1986)

0 # and Some Forcing Principles. - Matthew Foreman 001; Menachem Magidor; Saharon Shelah (J. Symb. Log., 1986)

Preferential Logics: the Predicate Calculus Case. - Daniel Lehmann 001; Menachem Magidor (TARK, 1990)

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. - Sarit Kraus; Daniel Lehmann 001; Menachem Magidor (Artif. Intell., 1990)

Shelah's pcf Theory and Its Applications. - Maxim R. Burke; Menachem Magidor (Ann. Pure Appl. Log., 1990)

Some Highly Undecidable Lattices. - Menachem Magidor; John W. Rosenthal; Mattiyahu Rubin; Gabriel Srour (Ann. Pure Appl. Log., 1990)

What does a Conditional Knowledge Base Entail? - Daniel Lehmann 001; Menachem Magidor (Artif. Intell., 1992)

On the strength of König's duality theorem for infinite bipartite graphs. - Ron Aharoni; Menachem Magidor; Richard A. Shore (J. Comb. Theory B, 1992)

Extender Based Forcings. - Moti Gitik; Menachem Magidor (J. Symb. Log., 1994)

On the Mutual-Exclusion Problem - A Quest for Minimal Solutions. - Uri Abraham; Menachem Magidor (Theor. Comput. Sci., 1994)

Instances of Dependent Choice and the Measurability of alephomega + 1. - Arthur W. Apter; Menachem Magidor (Ann. Pure Appl. Log., 1995)

Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. - Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 1995)

Metaphoric Polymorphism: Taking Code Reuse One Step Further. - Ran Rinat; Menachem Magidor (ECOOP, 1996)

The tree property at successors of singular cardinals. - Menachem Magidor; Saharon Shelah (Arch. Math. Log., 1996)

A Temporal Logic for Proving Properties of Topologically General Executions. - Rachel Ben-Eliyahu; Menachem Magidor (Inf. Comput., 1996)

A Very Weak Square Principle. - Matthew Foreman 001; Menachem Magidor (J. Symb. Log., 1997)

Correspondence Polymorphism for Object-Oriented Languages. - Ran Rinat; Menachem Magidor; Scott F. Smith 001 (OOPSLA, 1999)

The Independence of delta1n. - Amir Leshem; Menachem Magidor (J. Symb. Log., 1999)

Squares, scales and stationary Reflection. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (J. Math. Log., 2001)

The Consistency Strength of Successive Cardinals with The Tree Property. - Matthew Foreman 001; Menachem Magidor; Ralf-Dieter Schindler (J. Symb. Log., 2001)

Distance Semantics for Belief Revision. - Daniel Lehmann 001; Menachem Magidor; Karl Schlechta (J. Symb. Log., 2001)

The non-compactness of square. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (J. Symb. Log., 2003)

Canonical structure in the universe of set theory: part one. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 2004)

Canonical structure in the universe of set theory: part two. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 2006)

On Partially Wellfounded Generic Ultrapowers. - Moti Gitik; Menachem Magidor (Pillars of Computer Science, 2008)

The number of normal measures. - Sy-David Friedman; Menachem Magidor (J. Symb. Log., 2009)

On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. - Menachem Magidor; Jouko Väänänen (J. Math. Log., 2011)

On supercompactness and the continuum function. - Brent Cody; Menachem Magidor (Ann. Pure Appl. Log., 2014)

ON ${ omega _1}$-STRONGLY COMPACT CARDINALS. - Joan Bagaria; Menachem Magidor (J. Symb. Log., 2014)

SPFA by finite conditions. - Moti Gitik; Menachem Magidor (Arch. Math. Log., 2016)

Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinal. - Laura Fontanella; Menachem Magidor (J. Symb. Log., 2017)

Omitting types in logic of metric structures. - Ilijas Farah; Menachem Magidor (J. Math. Log., 2018)

The eightfold Way. - James Cummings 001; Sy-David Friedman; Menachem Magidor; Assaf Rinot (J. Symb. Log., 2018)

On the Spectrum of Characters of Ultrafilters. - Shimon Garti; Menachem Magidor; Saharon Shelah (Notre Dame J. Formal Log., 2018)

DESTRUCTIBILITY OF THE TREE PROPERTY AT ${ aleph _{ omega + 1}}$. - Yair Hayut; Menachem Magidor (J. Symb. Log., 2019)

Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado. - Shimon Garti; Menachem Magidor; Saharon Shelah (Electron. J. Comb., 2020)

The consistency strength of hyperstationarity. - Joan Bagaria; Menachem Magidor; Salvador Mancilla (J. Math. Log., 2020)

Corson reflections. - Ilijas Farah; Menachem Magidor (Ann. Pure Appl. Log., 2021)

Inner models from extended logics: Part 1. - Juliette Kennedy; Menachem Magidor; Jouko Väänänen (J. Math. Log., 2021)

The Tree Property at the two Immediate Successors of a singular cardinal. - James Cummings 001; Yair Hayut; Menachem Magidor; Itay Neeman; Dima Sinapova; Spencer Unger (J. Symb. Log., 2021)

Subcompact Cardinals, Type Omission, and ladder Systems. - Yair Hayut; Menachem Magidor (J. Symb. Log., 2022)

Identity Crisis between supercompactness and VǒPenka's Principle. - Yair Hayut; Menachem Magidor; Alejandro Poveda (J. Symb. Log., 2022)

Forcing axioms and the Galvin number. - Shimon Garti; Yair Hayut; Haim Horowitz; Menachem Magidor (Period. Math. Hung., 2022)

Games with filters I. - Matthew Foreman 001; Menachem Magidor; Martin Zeman (J. Math. Log., 2024)