Menachem Magidor

发表

Precipitous ideals

William J. Mitchell, Thomas Jech, Menachem Magidor, 1980, Journal of Symbolic Logic.

The tree property at successors of singular cardinals

Saharon Shelah, Menachem Magidor, 1996, Arch. Math. Log..

Omitting types in logic of metric structures

Ilijas Farah, Menachem Magidor, 2018, J. Math. Log..

An ideal game

Fred Galvin, Thomas Jech, Menachem Magidor, 1978, Journal of Symbolic Logic.

Distance semantics for belief revision

Karl Schlechta, Daniel Lehmann, Menachem Magidor, 1996, Journal of Symbolic Logic.

Instances of Dependent Choice and the Measurability of alephomega + 1

Arthur W. Apter, Menachem Magidor, M. Magidor, 1995, Ann. Pure Appl. Log..

Metaphoric Polymorphism: Taking Code Reuse One Step Further

Menachem Magidor, Ran Rinat, 1996, ECOOP.

The Consistency Strength of Successive Cardinals with The Tree Property

Ralf Schindler, Matthew Foreman, Menachem Magidor, 2001, J. Symb. Log..

REFLECTION OF STATIONARY SETS AND THE TREE PROPERTY AT THE SUCCESSOR OF A SINGULAR CARDINAL

Menachem Magidor, Laura Fontanella, M. Magidor, 2017, The Journal of Symbolic Logic.

Preferential Logics: the Predicate Calculus Case

Daniel Lehmann, Menachem Magidor, D. Lehmann, 1990, TARK.

On supercompactness and the continuum function

Brent Cody, Menachem Magidor, 2014, Ann. Pure Appl. Log..

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

Menachem Magidor, Yair Hayut, M. Magidor, 2016, The Journal of Symbolic Logic.

The consistency strength of hyperstationarity

Menachem Magidor, Joan Bagaria, Salvador Mancilla, 2020, J. Math. Log..

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

Uri Abraham, Menachem Magidor, 1994, Theor. Comput. Sci..

What does a Conditional Knowledge Base Entail?

Daniel Lehmann, Menachem Magidor, D. Lehmann, 1989, Artif. Intell..

The weak □* is really weaker than the full □

Menachem Magidor, Shai Ben-David, S. Ben-David, 1986, Journal of Symbolic Logic.

Compactness and Transfer for a Fragment of L2

Menachem Magidor, Jerome I. Malitz, Jerome I. Malitz, 1977, J. Symb. Log..

Squares, scales and stationary Reflection

James Cummings, Matthew Foreman, Menachem Magidor, 2001, J. Math. Log..

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor, 1990, Artif. Intell..

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

Menachem Magidor, Joan Bagaria, 2014, J. Symb. Log..

The Monadic Theory of omega12

Saharon Shelah, Yuri Gurevich, Menachem Magidor, 1983, Journal of Symbolic Logic (JSL).

On the strength of König's duality theorem for infinite bipartite graphs

Richard A. Shore, Ron Aharoni, Menachem Magidor, 1992, J. Comb. Theory, Ser. B.

On Global-Time and Inter-process Communication

Shai Ben-David, Uri Abraham, Menachem Magidor, 1990 .

0 # and Some Forcing Principles

Saharon Shelah, Matthew Foreman, Menachem Magidor, 1986, J. Symb. Log..

THE EIGHTFOLD WAY

James Cummings, Sy-David Friedman, Menachem Magidor, 2018, The Journal of Symbolic Logic.

The Independence of delta1n

Amir Leshem, Menachem Magidor, 1999, J. Symb. Log..

On Partially Wellfounded Generic Ultrapowers

Moti Gitik, Menachem Magidor, 2008, Pillars of Computer Science.

A Temporal Logic for Proving Properties of Topologically General Executions

Rachel Ben-Eliyahu-Zohary, Menachem Magidor, 1996, Inf. Comput..

On the Spectrum of Characters of Ultrafilters

Saharon Shelah, Menachem Magidor, Shimon Garti, 2018, Notre Dame J. Formal Log..

Canonical structure in the universe of set theory: part two

James Cummings, Matthew Foreman, Menachem Magidor, 2006, Ann. Pure Appl. Log..

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

Jouko A. Väänänen, Menachem Magidor, M. Magidor, 2011, J. Math. Log..

The non-compactness of square

James Cummings, Matthew Foreman, Menachem Magidor, 2003, Journal of Symbolic Logic.

On the Standard Part of Nonstandard Models of Set Theory

Saharon Shelah, Menachem Magidor, Jonathan Stavi, 1983, J. Symb. Log..

The number of normal measures

Sy-David Friedman, Menachem Magidor, S. Friedman, 2009, The Journal of Symbolic Logic.

Some Highly Undecidable Lattices

Menachem Magidor, Gabriel Srour, John W. Rosenthal, 1990, Ann. Pure Appl. Log..

Countably decomposable admissible sets

Saharon Shelah, Menachem Magidor, Jonathan Stavi, 1984, Ann. Pure Appl. Log..

Chang's Conjecture and Powers of Singular Cardinals

Menachem Magidor, 1977, J. Symb. Log..

Large Cardinals and Definable Counterexamples to the Continuum Hypothesis

Matthew Foreman, Menachem Magidor, M. Foreman, 1995, Ann. Pure Appl. Log..

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

Menachem Magidor, Shimon Garti, Saharon Shelah, 2020, Electron. J. Comb..

Extender Based Forcings

Moti Gitik, Menachem Magidor, 1994, J. Symb. Log..

A very weak square principle

Matthew Foreman, Menachem Magidor, M. Foreman, 1997, Journal of Symbolic Logic.

Shelah's pcf Theory and Its Applications

Menachem Magidor, Maxim R. Burke, M. Magidor, 1990, Ann. Pure Appl. Log..

Correspondence polymorphism for object-oriented languages

Scott F. Smith, Menachem Magidor, Ran Rinat, 1999, OOPSLA '99.

Reflecting stationary sets

Menachem Magidor, M. Magidor, 1982, Journal of Symbolic Logic.

Two Weak Consequences of 0#

Moti Gitik, Menachem Magidor, W. Hugh Woodin, 1985, J. Symb. Log..

SPFA by finite conditions

Moti Gitik, Menachem Magidor, 2016, Arch. Math. Log..

Canonical structure in the universe of set theory: part one

James Cummings, Matthew Foreman, Menachem Magidor, 2004, Ann. Pure Appl. Log..

Forcing axioms and the Galvin number

Menachem Magidor, Shimon Garti, Haim Horowitz, 2021, Periodica Mathematica Hungarica.

Corson reflections

Ilijas Farah, Menachem Magidor, M. Magidor, 2019, Ann. Pure Appl. Log..

When a relation with all Borel sections will be Borel somewhere?

William Chan, Menachem Magidor, M. Magidor, 2021, Proceedings of the American Mathematical Society.

Inner models from extended logics: Part 1

Menachem Magidor, Juliette Kennedy, Jouko Vaananen, 2020, J. Math. Log..

Scales, squares and reflection

James Cummings, Matthew Foreman, Menachem Magidor, 2001 .

Changing cofinality of cardinals

Menachem Magidor, M. Magidor, 1978 .

On the Singular Cardinals Problem II

Menachem Magidor, M. Magidor, 1977 .

Butler groups of arbitrary cardinality

Menachem Magidor, László Fuchs, M. Magidor, 1993 .

Compact extensions of L(Q)

Menachem Magidor, Jerome Malitz, 1977 .

The Singular Cardinal Hypothesis Revisited

Moti Gitik, Menachem Magidor, M. Magidor, 1992 .

On the singular cardinals problem I

Menachem Magidor, M. Magidor, 1977 .

ABSOLUTENESS FOR UNIVERSALLY BAIRE SETS AND THE UNCOUNTABLE II

Ilijas Farah, Menachem Magidor, Paul B. Larson, 2008 .

Representing sets of ordinals as countable unions of sets in the core model

Menachem Magidor, 1990 .

Probabilistic tree automata and context free languages

Menachem Magidor, G. Moran, 1970 .

How large is the first strongly compact cardinal? or a study on identity crises

Menachem Magidor, 1976 .

Universally Baire Sets of Reals

Menachem Magidor, Hugh Woodin, M. Magidor, 1992 .

On the existence of nonregular ultrafilters and the cardinality of ultrapowers

Menachem Magidor, M. Magidor, 1979 .

Precipitous ideals and Σ14 setssets

Menachem Magidor, 1980 .

Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal onPϰ(λ)

Matthew Foreman, Menachem Magidor, 2001 .

Ordinal definable subsets of singular cardinals

James Cummings, Dima Sinapova, Sy-David Friedman, 2018, Israel Journal of Mathematics.

On the role of supercompact and extendible cardinals in logic

Menachem Magidor, 1971 .

When does almost free imply free? (For groups, transversals, etc.)

Saharon Shelah, Menachem Magidor, S. Shelah, 1994 .

A framework for forcing constructions at successors of singular cardinals

Saharon Shelah, James Cummings, Menachem Magidor, 2014, 1403.6795.

Chang’s conjecture for ℵω

Saharon Shelah, Menachem Magidor, Jean-Pierre Levinski, 1990 .

Correction to “Martin’s Maximum, saturated ideals, and non-regular ultrafilters. Part I”

Saharon Shelah, Matthew Foreman, Menachem Magidor, 1989 .

UNIVERSITÉ PARIS 7 - DENIS DIDEROT UNIVERSITÁ DI TORINO Thèse de doctorat en logique mathématique APPLICATIONS OF THE PROPER FORCING AXIOM TO CARDINAL ARITHMETIC

Ilijas Farah, Matteo Viale, Menachem Magidor, 2006 .