Multi-term π-institutions and their equivalence

✍ Scribed by José Gil-Férez

• Book ID: 102485053
• Publisher: John Wiley and Sons
• Year: 2006
• Tongue: English
• Weight: 312 KB
• Volume: 52
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200610010

✦ Synopsis

Abstract

The notion of a multi‐term π‐institution is introduced and a criterion for the equivalence of two multi‐term π‐institutions in terms of their categories of theories is proved. Moreover, a counterexample that shows that this criterion is false for arbitrary π‐institutions is given. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)