On squares, outside guessing of clubs and I_{<f}[lambda]
Abstract
Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce a certain weak version of the square property and prove that if mu is a strong limit, then this weak square property holds on lambda without any additional assumptions
 Publication:

arXiv Mathematics eprints
 Pub Date:
 October 1995
 arXiv:
 arXiv:math/9510216
 Bibcode:
 1995math.....10216D
 Keywords:

 Mathematics  Logic
 EPrint:
 Fund. Math. 148 (1995), 165198