Constructions of classical models by means of Kripke models (survey) |
| |
Authors: | Bernd I. Dahn |
| |
Affiliation: | (1) Sektion Mathematik DER Humboldt-Universität, Berlin |
| |
Abstract: | It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |