Abstract Beth definability in institutions
DOI10.2178/JSL/1154698588zbMATH Open1110.03064OpenAlexW1997632084MaRDI QIDQ3410686FDOQ3410686
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
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
Abstract model theory (03C95) Categorical logic, topoi (03G30) Partial algebras (08A55) Functor categories, comma categories (18A25) Interpolation, preservation, definability (03C40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- On pushout consistency, modularity and interpolation for logical specifications
- Quasi-varieties in abstract algebraic institutions
- Institution morphisms
- Elementary Diagrams in Institutions
- Conditional rewriting logic as a unified model of concurrency
- Module algebra
- A simple algebraic proof of the equational interpolation theorem
- On a generalized modularization theorem
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Relating CASL with other specification languages: the institution level.
- Proof Systems for Institutional Logic
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- May I borrow your logic? (Transporting logical structures along maps)
- Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
- Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
- Preface for Studia Logica special issue (2)
- Title not available (Why is that?)
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
- Encoding hybridized institutions into first-order logic
- On the existence of translations of structured specifications
- 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
- Abstract categorical logic
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
Uses Software
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)
