An institutional generalization of Gödel's Completeness Theorem

Marius Petria: An institutional generalization of Gödel's Completeness Theorem

We can obtain a canonical complete entailment system for the first order like institutions starting from a complete entailment system for the subinstitution of the atomic sentences. The proof follows the guideline of Henkin's classical proof of Gödel's Theorem.

Last modified: Mon Sep 26 12:51:06 CEST 2005