Intuitionistic logic, model theory and forcing | lit.salon