arXiv:math/9706225 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords infinitary logic, stationary sets, subseteq lambda contains, structures, forcing axiom holds Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset