Menachem Magidor

About

From Wikipedia

Menachem Magidor is an Israeli mathematician who specializes in mathematical logic, in particular set theory. He served as President of the Hebrew University of Jerusalem, was President of the Association for Symbolic Logic from 1996 to 1998, and is currently the President of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science . In 2016 he was elected an honorary foreign member of the American Academy of Arts and Sciences. In 2018 he received the Solomon Bublick Award.

Published Works

• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I
• SQUARES, SCALES AND STATIONARY REFLECTION
• The evolution of large cardinal axioms in set theory
• How large is the first strongly compact cardinal? or a study on identity crises
• On the singular cardinals problem I
• Reflecting stationary sets
• Compact extensions of L(Q) (part 1a)
• A very weak square principle
Distance semantics for belief revision
On the role of supercompact and extendible cardinals in logic
When does almost free imply free? (For groups, transversals, etc.)
Changing cofinality of cardinals
Large cardinals and definable counterexamples to the continuum hypothesis
Shelah's pcf theory and its applications
The tree property at successors of singular cardinals
Precipitous ideals
Cardinal Arithmetic
Universally Baire Sets of Reals
On the Singular Cardinals Problem II
Martin's Maximum, Saturated Ideals and Non-Regular Ultrafilters. Part II
An ideal game
Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on Pϰ(λ)
Combinatorial characterization of supercompact cardinals
Canonical structure in the universe of set theory: part one
Canonical structure in the universe of set theory: part two
Chang’s conjecture for ℵω
A note on regular methods of summability and the Banach-Saks property
On the strength of König's duality theorem for infinite bipartite graphs
On the existence of nonregular ultrafilters and the cardinality of ultrapowers
The monadic theory of ω2
The weak □* is really weaker than the full □
The Singular Cardinal Hypothesis Revisited
Butler groups of arbitrary cardinality
Representing sets of ordinals as countable unions of sets in the core model
Extender based forcings
On Global-Time and Inter-process Communication
Precipitous ideals and Σ 1 4 setssets
There are many normal ultrafiltres corresponding to a supercompact cardinal
Martin’s maximum and weak square
Probabilistic tree automata and context free languages
Chang's conjecture and powers of singular cardinals
The number of normal measures
The consistency strength of successive cardinals with the tree property
ON ${\omega _1}$-STRONGLY COMPACT CARDINALS
Group radicals and strongly compact cardinals
Reflection and indescribability in the constructible universe
A Temporal Logic for Proving Properties of Topologically General Executions
Ordinal definable subsets of singular cardinals
On the strengths and weaknesses of weak squares
ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
The non-compactness of square
0# and some forcing principles
Some highly undecidable lattices
A framework for forcing constructions at successors of singular cardinals
ABSOLUTENESS FOR UNIVERSALLY BAIRE SETS AND THE UNCOUNTABLE II
Omitting types in logic of metric structures
On the standard part of nonstandard models of set theory
On Partially Wellfounded Generic Ultrapowers
Instances of dependent choice and the measurability of ℵω + 1
𝐵𝑒𝑥𝑡²(𝐺,𝑇) can be nontrivial, even assuming GCH
On the Spectrum of Characters of Ultrafilters
A Note on Regular Methods of Summability and the Banach-Saks Property
On reflection of stationary sets
Decomposition theorems for finite sequential machines
On the maximal resolvability of monotonically normal spaces
Countably decomposable admissible sets
On supercompactness and the continuum function
On properties of compacta that do not reflect in small continuous images
THE EIGHTFOLD WAY
Correction to "Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I"
Set Theory
Book reviews
Metaphoric polymorphism: Taking code reuse one step further
SPFA by finite conditions
What does a conditional knowledge base entail?
On the mutual-exclusion problem — a quest for minimal solutions
Corson reflections
The Simplest Counterexample to Compactness in the Constructive Universe
REFLECTION OF STATIONARY SETS AND THE TREE PROPERTY AT THE SUCCESSOR OF A SINGULAR CARDINAL
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$
THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
Singular cardinals and square properties
When a relation with all Borel sections will be Borel somewhere?
Book Review: Aspects of constructibility
The ineffable tree property and failure of the singular cardinals hypothesis
The consistency strength of hyperstationarity
Inner models from extended logics: Part 1
Correspondence polymorphism for object-oriented languages
Correspondence polymorphism for object-oriented languages
Compactness and transfer for a fragment of L2
Jack H. Silver. Measurable cardinals and well-orderings. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 414–446.
M. Gitik. All uncountable cardinals can be singular. Israel journal of mathematics, vol. 35 (1980), pp. 61–88.
Two weak consequences of 0#
The independence of
Shelah's pcf Theory and Its Applications
A Model in Which GCH Holds at Successors but Fails at Limits
Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado
Set Theory
Feinstrukturtheorie und Innere Modelle
Set Theory
Mini-Workshop: Feinstrukturtheorie und Innere Modelle
Set Theory
More Less

Other Resources

• en.wikipedia.org

Schools

Hebrew University of Jerusalem

Israeli university in Jerusalem

View profile

Influence Rankings by Discipline