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
© All rights reserved to The Hebrew University of Jerusalem