Technical Report CS0598

TR#:CS0598
Class:CS
Title: The Two-Cardinals Transfer Property and Resurrection of Supercompactness
Authors: S. Ben-David and S. Shelah
PDFCS0598.pdf
Abstract: We show that the transfer property <Alef1,Alef0> to <Lambda+,Lambda> for singular A, does not imply (even) the existence of a non-reflecting stationary subset of Lambda+. The result assumes the consistency of ZFC with the existence of inifinitely many super compact cardinals. We employ a technique of "resurrection of supercompactness". Our forcing extention destroys the supercompactness of some cardinals, to show that in the extended model they still carry some of their compactness properties (such as reflection of stationary sets), we show that their supercompactness can be resurrected via a tame forcing extention.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1989/CS/CS0598), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1989
To the main CS technical reports page

Computer science department, Technion
admin