Multi-term π-institutions and their equivalence

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...

Full description

Saved in:
Bibliographic Details
Published in:Mathematical logic quarterly 2006-10, Vol.52 (5), p.505-526
Main Author: Gil-Férez, José
Format: Article
Language:English
Subjects:
Categorical abstract algebraic logic
category of theories
cofibrations
Grothendieck construction
interpretability
Isomorphism Theorem
representability
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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)
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.200610010