Abstract Beth definability in institutions
From MaRDI portal
Publication:3410686
DOI10.2178/jsl/1154698588zbMath1110.03064OpenAlexW1997632084MaRDI QIDQ3410686
Marius Petria, Răzvan Diaconescu
Publication date: 29 November 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.8230
Categorical logic, topoi (03G30) Partial algebras (08A55) Interpolation, preservation, definability (03C40) Functor categories, comma categories (18A25) Abstract model theory (03C95)
Related Items
Ultraproducts and possible worlds semantics in institutions, Interpolation for predefined types, An axiomatic approach to structuring specifications, On the existence of translations of structured specifications, Comorphisms of structured institutions, The institution-theoretic scope of logic theorems, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Encoding hybridized institutions into first-order logic, An encoding of partial algebras as total algebras, Saturated models in institutions, Generalised graded interpolation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Institution morphisms
- Quasi-varieties in abstract algebraic institutions
- A simple algebraic proof of the equational interpolation theorem
- Conditional rewriting logic as a unified model of concurrency
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- On pushout consistency, modularity and interpolation for logical specifications
- May I borrow your logic? (Transporting logical structures along maps)
- On a generalized modularization theorem
- Relating CASL with other specification languages: the institution level.
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Preface for Studia Logica special issue (2)
- Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
- Proof Systems for Institutional Logic
- Module algebra
- Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
- Institutions: abstract model theory for specification and programming
- Elementary Diagrams in Institutions
