Abstract Beth definability in institutions

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

zbMATH Keywords

definabilitysignaturescomma categoryBirkhoff institutionsmodel amalgamation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Partial algebras (08A55) Interpolation, preservation, definability (03C40) Functor categories, comma categories (18A25) Abstract model theory (03C95)

Related Items (12)

Ultraproducts and possible worlds semantics in institutions ⋮ Abstract categorical logic ⋮ 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

• Unnamed Item

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

This page was built for publication: Abstract Beth definability in institutions