Author:
Greenberg Noam,Shelah Saharon
Abstract
AbstractA central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and having a strong forcing axiom of higher order than usual. Instead of “every suitable forcing notion of size λ has a sufficiently generic filter” we shall say “for every suitable method of producing notions of forcing based on a given stationary set, there is such a suitable stationary set S and sufficiently generic filters for the notion of forcing attached to S”. Such notions of forcing are important for Abelian group theory, but this application is delayed for a sequel.
Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. P. C. Eklof, L. Fuchs and S. Shelah, Baer modules over domains, Transactions of the American Mathematical Society 322 (1990), 547–560.
2. Séminaire de Mathématiques Supérieures;P C Eklof,1980
3. North-Holland Mathematical Library;P C Eklof,2002
4. J. Gregory, Higher Souslin trees and the generalized continuum hypothesis, Journal of Symbolic Logic 41 (1976), 663–671.
5. W. Hodges, In singular cardinality, locally free algebras are free, Algebra Universalis 12 (1981), 205–220.