Implication Details

Assumptions: essentially countable, thin

Reason: In general, every $\kappa$ -filtered diagram in a poset whose elements are less than $\kappa$ admits the greatest element. Therefore, all the elements are $\kappa$ -presentable, and the poset is $\kappa$ -accessible.