Some applications of universal models

Universal models will be shown to be useful in modal logic to prove results about unifiability and the finite model property, and in intuitionistic logic in the study of Jankov's theorems.