TheMcKinsey axiom is not canonical (1991)

by Robert I Goldblatt
Venue:The Journal of Symbolic Logic, 56:554