Square in core models (0)

by E Schimmerling, M Zeman
Venue:Bulletin of Symbolic Logic 7:3 (2001), 305