Abstract Beth definability in institutions

DOI10.2178/JSL/1154698588MaRDI QIDQ3410686zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• An institution-independent proof of the Beth definability theorem
• Birkhoff completeness in institutions
• An institution-independent proof of the Robinson consistency theorem
• Monadic extensions of institutions
• Modality in open institutions with concrete syntax
• A 2-categorial generalization of the concept of institution
• Satisfiability calculus: the semantic counterpart of a proof calculus in general logics
• Institution-independent model theory
• The institution-theoretic scope of logic theorems
• scientific article; zbMATH DE number 3864486

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3230204 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• A simple algebraic proof of the equational interpolation theorem
• Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
• An institution-independent proof of Craig interpolation theorem
• Conditional rewriting logic as a unified model of concurrency
• Elementary Diagrams in Institutions
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Interpolation in Grothendieck institutions
• May I borrow your logic? (Transporting logical structures along maps)
• Module algebra
• On a generalized modularization theorem
• On pushout consistency, modularity and interpolation for logical specifications
• Preface for Studia Logica special issue (2)
• Proof Systems for Institutional Logic
• Quasi-varieties in abstract algebraic institutions
• Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
• Relating CASL with other specification languages: the institution level.

Cited in

(15)

• Generalised graded interpolation
• The institution-theoretic scope of logic theorems
• Recent Trends in Algebraic Development Techniques
• A 2-categorial generalization of the concept of institution
• On the existence of translations of structured specifications
• Encoding hybridized institutions into first-order logic
• An encoding of partial algebras as total algebras
• An axiomatic approach to structuring specifications
• Saturated models in institutions
• An institution-independent proof of the Beth definability theorem
• Ultraproducts and possible worlds semantics in institutions
• Interpolation for predefined types
• Comorphisms of structured institutions
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Abstract categorical logic

Describes a project that uses

Uses Software

• CASL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3410686)