A global version of a theorem of Ben-David and Magidor

Arthur W. Apter, James Cummings
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