The Division for Advancement and External Relations  

 
MENACHEM  MAGIDOR,  PROFESSOR OF MATHEMATICS 
Status : EMERITUS Birth place : PETAH TIKVA
Office Phone: 02-585355 Fax:
E-Mail: menachem@math.huji.ac.il
U.R.L:
 
Department Faculty  
EINSTEIN INSTITUTE OF MATHEMATICS FACULTY OF SCIENCE Dept. Description
 
Academic Degree   Institution Year
Ph.D. HEBREW UNIV. 1973
 
Academic Position   Year
EMERITUS 2014
PROFESSOR 1982
ASSOC. PROFESSOR 1978
 
Administrative Position   From To
President, Hebrew University 1997 2009
 
Research Interests
Mathematical logic, mainly set theory. Logic applied to computer science:
artificial intelligence (non-monotonic reasoning). Semantics of distributed
computing.
 
Research Projects
Consistency problems concerning the theory of possible cofinalities.
Aspects of non-monotonic reasoning (with Daniel Lehmann).
Consistency results concerning cardinal arithmetics:
 
Selected Publications
Publication Title   Year
Reflection and indescribability in the constructible universe. 2015
Group radicals and strongly compact cardinals. 2014
On omega(1)-Strongly compact cardinals. 2014
On supercompactness and the continuum function. 2014
On the maximal resolvability of monotonically normal spaces. 2012
Martin's maximum and weak square. 2011
On Lowenheim-Skolem-Tarski numbers for extensions of first order 2011
The number of normal measures. 2009
Canonical structure in the universe of set theory: Part 2. 2006
The consistency strength of successive cardinals with the tree 2001
Distance semantics for belief revision. 2001
Correspondence polymorphism for object-oriented languages. 1999
The independence of delta(1)(n). 1999
A very weak square principle. 1997
The tree property at successors of singular cardinals. 1996
A temporal logic for proving properties of topologically general 1996
Large cardinals and definable counterexamples to the 1995
Instances of dependent choice and the measurability of 1995
On the mutual exclusion problem, a quest for minimal solution. 1994
Butler groups of abitrary cardinalities. 1993
The singular cardinals problem revisited. 1992
What does a conditional knowledge base entail? 1992

[Siyum]

© All rights reserved to The Hebrew University of Jerusalem