However, Robert Constable has shown that a weaker notion of completeness still holds for intuitionistic logic under a Tarski-like model.
Однак Роберт Констебль показав, що більш слабке поняття повноти все ще міститься для інтуїтивної логіки під подібною моделлю Тарскі.