Menachem Magidor

58 papers A 2B 2Journal 52Unranked 1

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