arXiv:math/9201243 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords hanf number, stationary logic, comparison, independence proofs assume, second order logic Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset