×

zbMATH — the first resource for mathematics

Some preservation results for classical and intuitionistic satisfiability in Kripke models. (English) Zbl 0487.03015

MSC:
03C25 Model-theoretic forcing
03F55 Intuitionistic mathematics
PDF BibTeX XML Cite
Full Text: DOI