1 problem

For every cardinal $\kappa$, let $\mathsf{A}_\kappa$ be the Heyting algebra whose lattice reduct is obtained by adding a new maximum $1$ to the powerset lattice…