CatDat

Implication Details

Assumptions: finitely accessible

Conclusions: ℵ₁-accessible

Reason: This is because any regular cardinal is strictly smaller than its successor cardinal. See nLab.