What results are known about the construction of models for a theory $T$ of the logic BL$\forall$ for languages of higher cardinality? The construction for the countable case relies on


1) The fact that you can form sentences of arbitrary finite length.


2) The fact that there is an undecidable statement in $T\_{n}\supset{T}$ that helps you to determine an undecidable statement for $T\_{n+1}$. 


This leads to a Henkin theory $T'=\bigcup\_{n=0}^{\infty}T\_{n}$. But this procedure will fail at limit ordinals. 


This is somewhat related to: [Compactness and completeness in Gödel logic](https://mathoverflow.net/questions/160112/compactness-and-completeness-in-g%C3%B6del-logic) but I'm looking for a more broader set of results (or if they exist) and some references.



Models of BL$\forall$
I'm definitely not an expert, but you could be interested in [A Henkin-style proof of completeness for first-order algebraizable logics](http://www.carlesnoguera.cat/files/Cintula-Noguera-2013-HenkinProofAlgLogics.pdf) by Cintula and Noguera.


