Алгебраический подход к интуиционистским моделям типа реализуемостистатья