×

zbMATH — the first resource for mathematics

Topological Kripke models. (English. Russian original) Zbl 0296.02030
Sov. Math., Dokl. 15, 147-151 (1974); translation from Dokl. Akad. Nauk SSSR 214, 298-301 (1974).

MSC:
03C99 Model theory
54H10 Topological representations of algebraic systems
18A15 Foundations, relations to logic and deductive systems
PDF BibTeX XML Cite