Abstract:
We introduce effectiveness considerations into model theory of
intuitionistic logic. We investigate effectiveness of completeness (by
Kripke) results for intermediate logics such as for example, intuitionistic logic, classical logic, constant domain logic, directed frames logic, Dummett's logic, etc.