Menachem Magidor

According to our database, Menachem Magidor authored at least 53 papers between 1972 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2022

Forcing axioms and the Galvin number.

Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor

Period. Math. Hung., 2022

Identity Crisis between supercompactness and VǒPenka's Principle.

Yair Hayut, Menachem Magidor, Alejandro Poveda

J. Symb. Log., 2022

Subcompact Cardinals, Type Omission, and ladder Systems.

Yair Hayut, Menachem Magidor

J. Symb. Log., 2022

2021

The Tree Property at the two Immediate Successors of a singular cardinal.

James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger

J. Symb. Log., 2021

Inner models from extended logics: Part 1.

Juliette Kennedy, Menachem Magidor, Jouko Väänänen

J. Math. Log., 2021

Corson reflections.

Ilijas Farah, Menachem Magidor

Ann. Pure Appl. Log., 2021

2020

The consistency strength of hyperstationarity.

Joan Bagaria, Menachem Magidor, Salvador Mancilla

J. Math. Log., 2020

Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado.

Shimon Garti, Menachem Magidor, Saharon Shelah

Electron. J. Comb., 2020

2019

DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$.

Yair Hayut, Menachem Magidor

J. Symb. Log., 2019

2018

On the Spectrum of Characters of Ultrafilters.

Shimon Garti, Menachem Magidor, Saharon Shelah

Notre Dame J. Formal Log., 2018

The eightfold Way.

James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot

J. Symb. Log., 2018

Omitting types in logic of metric structures.

Ilijas Farah, Menachem Magidor

J. Math. Log., 2018

2017

Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinal.

Laura Fontanella, Menachem Magidor

J. Symb. Log., 2017

2016

SPFA by finite conditions.

Moti Gitik, Menachem Magidor

Arch. Math. Log., 2016

2014

ON ${\omega _1}$-STRONGLY COMPACT CARDINALS.

Joan Bagaria, Menachem Magidor

J. Symb. Log., 2014

On supercompactness and the continuum function.

Brent Cody, Menachem Magidor

Ann. Pure Appl. Log., 2014

2011

On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic.

Menachem Magidor, Jouko Väänänen

J. Math. Log., 2011

2009

The number of normal measures.

Sy-David Friedman, Menachem Magidor

J. Symb. Log., 2009

2008

On Partially Wellfounded Generic Ultrapowers.

Moti Gitik, Menachem Magidor

Proceedings of the Pillars of Computer Science, 2008

2006

Canonical structure in the universe of set theory: part two.

James Cummings, Matthew Foreman, Menachem Magidor

Ann. Pure Appl. Log., 2006

2004

Canonical structure in the universe of set theory: part one.

James Cummings, Matthew Foreman, Menachem Magidor

Ann. Pure Appl. Log., 2004

2003

The non-compactness of square.

James Cummings, Matthew Foreman, Menachem Magidor

J. Symb. Log., 2003

2001

Distance Semantics for Belief Revision.

Daniel Lehmann, Menachem Magidor, Karl Schlechta

J. Symb. Log., 2001

The Consistency Strength of Successive Cardinals with The Tree Property.

Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler

J. Symb. Log., 2001

Squares, scales and stationary Reflection.

James Cummings, Matthew Foreman, Menachem Magidor

J. Math. Log., 2001

1999

The Independence of delta¹_n.

Amir Leshem, Menachem Magidor

J. Symb. Log., 1999

Correspondence Polymorphism for Object-Oriented Languages.

Ran Rinat, Menachem Magidor, Scott F. Smith

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997

A Very Weak Square Principle.

Matthew Foreman, Menachem Magidor

J. Symb. Log., 1997

1996

A Temporal Logic for Proving Properties of Topologically General Executions.

Rachel Ben-Eliyahu, Menachem Magidor

Inf. Comput., 1996

The tree property at successors of singular cardinals.

Menachem Magidor, Saharon Shelah

Arch. Math. Log., 1996

Metaphoric Polymorphism: Taking Code Reuse One Step Further.

Ran Rinat, Menachem Magidor

Proceedings of the ECOOP'96, 1996

1995

Large Cardinals and Definable Counterexamples to the Continuum Hypothesis.

Matthew Foreman, Menachem Magidor

Ann. Pure Appl. Log., 1995

Instances of Dependent Choice and the Measurability of aleph_{omega + 1}.

Arthur W. Apter, Menachem Magidor

Ann. Pure Appl. Log., 1995

1994

On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.

Uri Abraham, Menachem Magidor

Theor. Comput. Sci., 1994

Extender Based Forcings.

Moti Gitik, Menachem Magidor

J. Symb. Log., 1994

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

What does a Conditional Knowledge Base Entail?

Daniel Lehmann, Menachem Magidor

Artif. Intell., 1992

1990

Some Highly Undecidable Lattices.

Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour

Ann. Pure Appl. Log., 1990

Shelah's pcf Theory and Its Applications.

Maxim R. Burke, Menachem Magidor

Ann. Pure Appl. Log., 1990

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.

Sarit Kraus, Daniel Lehmann, Menachem Magidor

Artif. Intell., 1990

Preferential Logics: the Predicate Calculus Case.

Daniel Lehmann, Menachem Magidor

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

1986

0 ^# and Some Forcing Principles.

Matthew Foreman, Menachem Magidor, Saharon Shelah

J. Symb. Log., 1986

The Weak □* is Really Weaker than the Full □.

Shai Ben-David, Menachem Magidor

J. Symb. Log., 1986

1985

Two Weak Consequences of 0^#.

Moti Gitik, Menachem Magidor, W. Hugh Woodin

J. Symb. Log., 1985

1984

Countably decomposable admissible sets.

Menachem Magidor, Saharon Shelah, Jonathan Stavi

Ann. Pure Appl. Log., 1984

1983

On the Standard Part of Nonstandard Models of Set Theory.

Menachem Magidor, Saharon Shelah, Jonathan Stavi

J. Symb. Log., 1983

The Monadic Theory of omega¹₂.

Yuri Gurevich, Menachem Magidor, Saharon Shelah

J. Symb. Log., 1983

1982

Reflecting Stationary Sets.

Menachem Magidor

J. Symb. Log., 1982

1980

Precipitous Ideals.

Thomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry

J. Symb. Log., 1980

1978

An Ideal Game.

Fred Galvin, Thomas Jech, Menachem Magidor

J. Symb. Log., 1978

1977

Compactness and Transfer for a Fragment of L².

Menachem Magidor, Jerome I. Malitz

J. Symb. Log., 1977

Chang's Conjecture and Powers of Singular Cardinals.

Menachem Magidor

J. Symb. Log., 1977

1972

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

Menachem Magidor

PhD thesis, 1972