Scattered Toposes. - Leo Esakia; Mamuka Jibladze; Dito Pataraia (Ann. Pure Appl. Log., 2000)

Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras. - Dito Pataraia (J. Appl. Non Class. Logics, 2006)