Constants in Kripke Models for Intuition
โ
Daniel Dzierzgowski
๐
Article
๐
1995
๐
John Wiley and Sons
๐
English
โ 617 KB
We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be "axiomatized" by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove exte