2008 |
35 | EE | Moti Gitik,
Menachem Magidor:
On Partially Wellfounded Generic Ultrapowers.
Pillars of Computer Science 2008: 342-350 |
2006 |
34 | EE | James Cummings,
Matthew Foreman,
Menachem Magidor:
Canonical structure in the universe of set theory: part two.
Ann. Pure Appl. Logic 142(1-3): 55-75 (2006) |
2004 |
33 | EE | James Cummings,
Matthew Foreman,
Menachem Magidor:
Canonical structure in the universe of set theory: part one.
Ann. Pure Appl. Logic 129(1-3): 211-243 (2004) |
2003 |
32 | | James Cummings,
Matthew Foreman,
Menachem Magidor:
The non-compactness of square.
J. Symb. Log. 68(2): 637-643 (2003) |
2002 |
31 | EE | Sarit Kraus,
Daniel J. Lehmann,
Menachem Magidor:
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
CoRR cs.AI/0202021: (2002) |
30 | EE | Daniel J. Lehmann,
Menachem Magidor:
What does a conditional knowledge base entail?
CoRR cs.AI/0202022: (2002) |
29 | EE | Daniel J. Lehmann,
Menachem Magidor,
Karl Schlechta:
Distance Semantics for Belief Revision
CoRR cs.AI/0202025: (2002) |
2001 |
28 | | Daniel J. Lehmann,
Menachem Magidor,
Karl Schlechta:
Distance Semantics for Belief Revision.
J. Symb. Log. 66(1): 295-317 (2001) |
27 | | Matthew Foreman,
Menachem Magidor,
Ralf-Dieter Schindler:
The Consistency Strength of Successive Cardinals with The Tree Property.
J. Symb. Log. 66(4): 1837-1847 (2001) |
1999 |
26 | EE | Ran Rinat,
Menachem Magidor,
Scott F. Smith:
Correspondence Polymorphism for Object-Oriented Languages.
OOPSLA 1999: 167-186 |
25 | | Amir Leshem,
Menachem Magidor:
The Independence of delta1n.
J. Symb. Log. 64(1): 350-362 (1999) |
1997 |
24 | | Matthew Foreman,
Menachem Magidor:
A Very Weak Square Principle.
J. Symb. Log. 62(1): 175-196 (1997) |
1996 |
23 | EE | Ran Rinat,
Menachem Magidor:
Metaphoric Polymorphism: Taking Code Reuse One Step Further.
ECOOP 1996: 449-471 |
22 | | Karl Schlechta,
Daniel J. Lehmann,
Menachem Magidor:
Distance Semantics for Belief Revision.
TARK 1996: 137-145 |
21 | | Rachel Ben-Eliyahu,
Menachem Magidor:
A Temporal Logic for Proving Properties of Topologically General Executions.
Inf. Comput. 124(2): 127-144 (1996) |
1995 |
20 | | Arthur W. Apter,
Menachem Magidor:
Instances of Dependent Choice and the Measurability of alephomega + 1.
Ann. Pure Appl. Logic 74(3): 203-219 (1995) |
19 | | Matthew Foreman,
Menachem Magidor:
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis.
Ann. Pure Appl. Logic 76(1): 47-97 (1995) |
1994 |
18 | | Moti Gitik,
Menachem Magidor:
Extender Based Forcings.
J. Symb. Log. 59(2): 445-460 (1994) |
17 | | Uri Abraham,
Menachem Magidor:
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.
Theor. Comput. Sci. 129(1): 1-38 (1994) |
1992 |
16 | | Daniel J. Lehmann,
Menachem Magidor:
What does a Conditional Knowledge Base Entail?
Artif. Intell. 55(1): 1-60 (1992) |
15 | EE | 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): 257-290 (1992) |
1990 |
14 | | Daniel J. Lehmann,
Menachem Magidor:
Preferential Logics: the Predicate Calculus Case.
TARK 1990: 57-72 |
13 | | Menachem Magidor,
John W. Rosenthal,
Mattiyahu Rubin,
Gabriel Srour:
Some Highly Undecidable Lattices.
Ann. Pure Appl. Logic 46(1): 41-63 (1990) |
12 | | Maxim R. Burke,
Menachem Magidor:
Shelah's pcf Theory and Its Applications.
Ann. Pure Appl. Logic 50(3): 207-254 (1990) |
11 | | Sarit Kraus,
Daniel J. Lehmann,
Menachem Magidor:
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.
Artif. Intell. 44(1-2): 167-207 (1990) |
1986 |
10 | | Matthew Foreman,
Menachem Magidor,
Saharon Shelah:
0 # and Some Forcing Principles.
J. Symb. Log. 51(1): 39-46 (1986) |
9 | | Shai Ben-David,
Menachem Magidor:
The Weak is Really Weaker than the Full.
J. Symb. Log. 51(4): 1029-1033 (1986) |
1985 |
8 | | Moti Gitik,
Menachem Magidor,
W. Hugh Woodin:
Two Weak Consequences of 0#.
J. Symb. Log. 50(3): 597-603 (1985) |
1983 |
7 | | Menachem Magidor,
Saharon Shelah,
Jonathan Stavi:
On the Standard Part of Nonstandard Models of Set Theory.
J. Symb. Log. 48(1): 33-38 (1983) |
6 | | Yuri Gurevich,
Menachem Magidor,
Saharon Shelah:
The Monadic Theory of omega12.
J. Symb. Log. 48(2): 387-398 (1983) |
1982 |
5 | | Menachem Magidor:
Reflecting Stationary Sets.
J. Symb. Log. 47(4): 755-771 (1982) |
1980 |
4 | | Thomas Jech,
Menachem Magidor,
William John Mitchell,
Karel Prikry:
Precipitous Ideals.
J. Symb. Log. 45(1): 1-8 (1980) |
1978 |
3 | | Fred Galvin,
Thomas Jech,
Menachem Magidor:
An Ideal Game.
J. Symb. Log. 43(2): 284-292 (1978) |
1977 |
2 | | Menachem Magidor,
Jerome I. Malitz:
Compactness and Transfer for a Fragment of L2.
J. Symb. Log. 42(2): 261-268 (1977) |
1 | | Menachem Magidor:
Chang's Conjecture and Powers of Singular Cardinals.
J. Symb. Log. 42(2): 272-276 (1977) |