Forcing a Basis into $\aleph_1$-Free Groups

TL;DR

This paper characterizes when non-free $eth_1$-free groups can become free in certain model extensions, using the $eth$-invariant, and constructs forcings to add bases without collapsing $eth_1$.

Contribution

It provides a complete criterion based on the $eth$-invariant for when $eth_1$-free groups can be made free in transitive model extensions, and introduces forcings for basis addition.

Findings

If $eth$-invariant equals $[eth_1]$, freeness depends on collapsing $eth_1$.

For $eth$-invariant not equal to $[eth_1]$, there are forcings that add bases without collapsing $eth_1$.

A specific poset of partial bases is constructed for basis addition.

Abstract

In this paper, we address the question of when a non-free $\aleph_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $\Gamma$-invariant, denoted $\Gamma(H)$, we present a necessary and sufficient condition resolving this question for $\aleph_1$-free groups of cardinality $\aleph_1$. Specifically, if $\Gamma(H) = [\aleph_1]$, then $H$ will be free in a transitive model extension if and only if $\aleph_1$ collapses, while for $\Gamma(H) \ne [\aleph_1]$ there exist cardinality-preserving forcings that will add a basis to $H$. In particular, for $\Gamma(H) \neq [\aleph_1]$, we provide a poset $(\mathcal P_{\rm pb}, \leq)$ of partial bases for adding a basis to $H$ without collapsing $\aleph_1$.