dblp.uni-trier.dewww.uni-trier.de

Menachem Magidor Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
35EEMoti Gitik, Menachem Magidor: On Partially Wellfounded Generic Ultrapowers. Pillars of Computer Science 2008: 342-350
2006
34EEJames 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
33EEJames 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
31EESarit Kraus, Daniel J. Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics CoRR cs.AI/0202021: (2002)
30EEDaniel J. Lehmann, Menachem Magidor: What does a conditional knowledge base entail? CoRR cs.AI/0202022: (2002)
29EEDaniel 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
26EERan 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
23EERan 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)
15EERon 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)

Coauthor Index

1Uri Abraham [17]
2Ron Aharoni [15]
3Arthur W. Apter [20]
4Shai Ben-David [9]
5Rachel Ben-Eliyahu-Zohary (Rachel Ben-Eliyahu) [21]
6Maxim R. Burke [12]
7James Cummings [32] [33] [34]
8Matthew Foreman [10] [19] [24] [27] [32] [33] [34]
9Fred Galvin [3]
10Moti Gitik [8] [18] [35]
11Yuri Gurevich [6]
12Thomas Jech [3] [4]
13Sarit Kraus [11] [31]
14Daniel J. Lehmann [11] [14] [16] [22] [28] [29] [30] [31]
15Amir Leshem [25]
16Jerome I. Malitz [2]
17William John Mitchell [4]
18Karel Prikry [4]
19Ran Rinat [23] [26]
20John W. Rosenthal [13]
21Mattiyahu Rubin [13]
22Ralf-Dieter Schindler [27]
23Karl Schlechta [22] [28] [29]
24Saharon Shelah [6] [7] [10]
25Richard A. Shore [15]
26Scott F. Smith [26]
27Gabriel Srour [13]
28Jonathan Stavi [7]
29W. Hugh Woodin [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)