Mathematical Logic Quarterly 52 (5):505-526 (2006)

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
Keywords category of theories  Isomorphism Theorem  representability  Grothendieck construction  Categorical abstract algebraic logic  interpretability  cofibrations
Categories (categorize this paper)
DOI 10.1002/malq.200610010
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,792
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Interpretability Over Peano Arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.


Added to PP index

Total views
6 ( #1,036,682 of 2,342,486 )

Recent downloads (6 months)
1 ( #514,928 of 2,342,486 )

How can I increase my downloads?


My notes