## \(A_6^*\) is equivalent to \(A_6\) [WIP]

In there paper Strong Axioms of Infinity and Elementary Embedding, Robert Solovay, William Reinhardt, and Akihiro Kanamori introduced the axioms \(A_1\)-\(A_7\), measuring the gap between hugeness and extendibility. \(A_1(\kappa)\): \(\kappa\) is huge. \(A_2(\kappa)\): There is some \(j: V_\alpha\prec V_\beta\) with critical point \(\kappa\) such that \(j(\kappa)\le\alpha\). \(A_3(\kappa)\): \(\kappa\) is almost huge; i.e. there is some…