Implication Details
Assumptions: finitely accessible
Conclusions: ℵ₁-accessible
Reason: This is because any regular cardinal is strictly smaller than its successor cardinal. See nLab.
Assumptions: finitely accessible
Conclusions: ℵ₁-accessible
Reason: This is because any regular cardinal is strictly smaller than its successor cardinal. See nLab.