A Strong Form of $\psi_\mathrm{AC}$(Forcing and Infinitary Combinatorics)
Tadatoshi Miyamoto · Kyoto University Research Information Repository (Kyoto University) · 2006
We formulate a principle, called $\mathcal{T}\mathrm{A}\mathrm{C}$ , which implies both $\psi_{\mathrm{A}\mathrm{C}}$ and $\phi_{\mathrm{A}\mathrm{C}}$ .We also force $\mathcal{T}\mathrm{A}\mathrm{C}$ and conclude equiconsistencies of these.