The Division for Advancement and External Relations
PROFESSOR OF MATHEMATICS
Birth place :
EINSTEIN INSTITUTE OF MATHEMATICS
FACULTY OF SCIENCE
President, Hebrew University
Mathematical logic, mainly set theory. Logic applied to computer science:
artificial intelligence (non-monotonic reasoning). Semantics of distributed
Consistency problems concerning the theory of possible cofinalities.
Aspects of non-monotonic reasoning (with Daniel Lehmann).
Consistency results concerning cardinal arithmetics:
Reflection and indescribability in the constructible universe.
Group radicals and strongly compact cardinals.
On omega(1)-Strongly compact cardinals.
On supercompactness and the continuum function.
On the maximal resolvability of monotonically normal spaces.
Martin's maximum and weak square.
On Lowenheim-Skolem-Tarski numbers for extensions of first order
The number of normal measures.
Canonical structure in the universe of set theory: Part 2.
The consistency strength of successive cardinals with the tree
Distance semantics for belief revision.
Correspondence polymorphism for object-oriented languages.
The independence of delta(1)(n).
A very weak square principle.
The tree property at successors of singular cardinals.
A temporal logic for proving properties of topologically general
Large cardinals and definable counterexamples to the
Instances of dependent choice and the measurability of
On the mutual exclusion problem, a quest for minimal solution.
Butler groups of abitrary cardinalities.
The singular cardinals problem revisited.
What does a conditional knowledge base entail?
© All rights reserved to The Hebrew University of Jerusalem