In this paper, we study the forcing axiom for the class of proper forcing notions which do not add ω sequence of ordinals. We study the relationship between this forcing axiom and many cardinal invariants. We use typical iterated forcing with large cardinals and analyse certain property being preserved in this process. Lastly, we apply the results to distinguish several forcing axioms.

Recall that a subset X of a Boolean algebra A is independent if for any two finite disjoint subsets F , G of X we have ∏ x∈F x ∏ y∈G −y≠0. The independence of a BA A , denoted by Ind, is the supremum of cardinalities of its independent subsets. We can also consider the maximal independent subsets. The smallest size of an infinite maximal independent subset is the cardinal invariant i , well known in the case A= P (...) / fin . In this article we consider the collection of all cardinalities of infinite maximal independent subsets of a BA A ; we call this set the spectrum of infinite maximal independent subsets , denoted by Spind. Note that infinite maximal independent subsets exist in any BA which is not superatomic. The main result is that any set of infinite cardinals can occur as Spind for some infinite BA A . Beyond this we give results concerning the way that Spind changes under various algebraic operations. However, the basic components of most algebras that we deal with are free algebras. (shrink)

We study the set of possible sizes of maximal independent families to which we refer as spectrum of independence and denote \\). Here mif abbreviates maximal independent family. We show that:1.whenever \ are finitely many regular uncountable cardinals, it is consistent that \\); 2.whenever \ has uncountable cofinality, it is consistent that \=\{\aleph _1,\kappa =\mathfrak {c}\}\). Assuming large cardinals, in addition to above, we can provide that $$\begin{aligned} \cap \hbox {Spec}=\emptyset \end{aligned}$$for each i, \.

We study two ideals which are naturally associated to independent families. The first of them, denoted \, is characterized by a diagonalization property which allows along a cofinal sequence of stages along a finite support iteration to adjoin a maximal independent family. The second ideal, denoted \\), originates in Shelah’s proof of \ in Shelah, 433–443, 1992). We show that for every independent family \, \\subseteq \mathcal {J}_\mathcal {A}\) and define a class of maximal independent families, to which we refer (...) as densely maximal, for which the two ideals coincide. Building upon the techniques of Shelah we characterize Sacks indestructibility for such families in terms of properties of \\) and devise a countably closed poset which adjoins a Sacks indestructible densely maximal independent family. (shrink)

We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$. In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$.

We investigate maximal free sequences in the Boolean algebra \ {/}\text {fin}\), as defined by Monk :593–610, 2011). We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted \. Answering a question of Monk, we demonstrate the consistency of \. In fact, this consistency is demonstrated in the model of Shelah for \ :433–443, 1992). Our paper provides a streamlined (...) and mostly self contained presentation of this construction. (shrink)

We say that $\mathcal {I}$ is an ideal independent family if no element of ${\mathcal {I}}$ is a subset mod finite of a union of finitely many other elements of ${\mathcal {I}}.$ We will show that the minimum size of a maximal ideal independent family is consistently bigger than both $\mathfrak {d}$ and $\mathfrak {u},$ this answers a question of Donald Monk.