Kripke submodels and universal sentences
โ
Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg
๐
Article
๐
2007
๐
John Wiley and Sons
๐
English
โ 172 KB
## Abstract We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models wi