We show that given omega many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at N omega+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and a many supercompact cardinals above it, in Magidor-Shelah [7].
机构:
Univ Rome La Sapienza, Dipartimento Matemat G Castelnuovo, I-00185 Rome, ItalyUniv Rome La Sapienza, Dipartimento Matemat G Castelnuovo, I-00185 Rome, Italy
机构:
CUNY Bernard M Baruch Coll, Dept Math, New York, NY 10010 USA
CUNY, Grad Ctr, New York, NY 10016 USACUNY Bernard M Baruch Coll, Dept Math, New York, NY 10010 USA