We prove that if I is a partially ordered set in a countable transitive model M of ZFC then M can be extended by a generic sequence of reals a i , i ∈ I, such that ℵ M 1 is preserved and every a i is Sacks generic over $\mathfrak{M}[\langle \mathbf{a}_j: j . The structure of the degrees of M-constructibility of reals in the extension is investigated. As applications of the methods involved, we define a cardinal invariant to distinguish (...) product and iterated Sacks extensions, and give a short proof of a theorem (by Budinas) that in ω 2 -iterated Sacks extension of L the Burgess selection principle for analytic equivalence relations holds. (shrink)

An ordering (≤K) on maximal almost disjoint (MAD) families closely related to destructibility of MAD families by forcing is introduced and studied. It is shown that the order has antichains of size.

We show that every dominating analytic set in the Baire space has a dominating closed subset. This improves a theorem of Spinas [15] saying that every dominating analytic set contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. In [15], a subset of the Baire space is called u-regular if either it is not dominating or it contains the branches of a uniform tree, (...) and it was proved that Σ21-Kσ-regularity implies Σ21-u-regularity. Here we show that these properties are in fact equivalent. Since the proof of analytic u-regularity uses a game argument it was clear that determinacy implies u-regularity of all sets. Here we show that an inaccessible cardinal is enough to construct a model for projective u-regularity, namely it holds in Solovay's model. Finally we show that forcing with uniform trees is equivalent to Laver forcing. (shrink)

We show the consistency of ${\frak o} <{\frak d}$ where ${\frak o}$ is the size of the smallest off-branch family, and ${\frak d}$ is as usual the dominating number. We also prove the consistency of ${\frak b} < {\frak a}$ with large continuum. Here, ${\frak b}$ is the unbounding number, and ${\frak a}$ is the almost disjointness number.

If dominating functions in ω ω are adjoined repeatedly over a model of GCH via a finite-support c.c.c. iteration, then in the resulting generic extension there are no long towers, every well-ordered unbounded family of increasing functions is a scale, and the splitting number s (and hence the distributivity number h) remains at ω 1.

We define a σ-ideal J D on the set of functions ω ω with the property that a real x ∈ ω ω is a Hechler real over V if and only if x omits all Borel sets in J D . In fact we define a topology D on ω ω related to Hechler forcing such that J D is the family of first category sets in D. We study cardinal invariants of the ideal J D.

There is an optimal way of increasing certain cardinal invariants of the continuum.

We discuss a problem asked by E. van Douwen and A. Miller [5] in various forcing models.

Reviewed Works:John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Scales on $\Sigma^1_1$ Sets.Yiannis N. Moschovakis, Scales on Coinductive Sets.Donald A. Martin, John R. Steel, The Extent of Scales in $L$.John R. Steel, Scales in $L$.

We show that every analytic set in the Baire space which is dominating contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. We call this property of analytic sets u-regularity. However, we show that the concept of uniform tree does not suffice to characterize dominating analytic sets in general. We construct a dominating closed set with the property that for no uniform tree whose (...) branches are contained in the closed set, the set of these branches is dominating. We also show that from a Σ1n+1-rapid filter a non-u-regular Π1n-set can be constructed. Finally, we prove that ∑12-Kσ-regularity implies ∑12-u-regularity. (shrink)

The collection of branches (maximal linearly ordered sets of nodes) of the tree $^{ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal--for example, any level of the tree is almost disjoint from all of the branches. How many sets must be added to the family of branches to make it maximal? This question leads to a series of definitions and results: a set of nodes is off-branch if it is almost disjoint (...) from every branch in the tree; an off-branch family is an almost disjoint family of off-branch sets; and o is the minimum cardinality of a maximal off-branch family. Results concerning o include: (in ZFC) a ≤ p, and (consistent with ZFC) o is not equal to any of the standard small cardinal invariants b,a,d, or c = 2 ω . Most of these consistency results use standard forcing notions--for example, $\mathfrak{b = a in the Cohen model. Many interesting open questions remain, though--for example, whether d ≤ o. (shrink)