A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A global version of a theorem of Ben-David and Magidor
2000
Annals of Pure and Applied Logic
We prove a consistency result about square principles and stationary re ection which generalises the result of Ben-David and Magidor [4] .
doi:10.1016/s0168-0072(99)00033-0
fatcat:co4oqzkle5gdla2jsctyc2vb2m