scientific article; zbMATH DE number 1998330

MaRDI QIDQ4432964zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 2003

zbMATH Keywords

ultraproductsinstitutionscategorical abstract model theoryalgebraic specification logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract model theory (03C95) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Ultraproducts and possible worlds semantics in institutions
• Institution-independent model theory
• scientific article; zbMATH DE number 3916526
• Implicit Kripke semantics and ultraproducts in stratified institutions
• Institutions: abstract model theory for specification and programming

Cited in

(21)

• The institution-theoretic scope of logic theorems
• Foundations of logic programming in hybrid logics with user-defined sharing
• Constructor-based institutions
• Ultraproduct for quantum structures
• An institution-independent proof of the Robinson consistency theorem
• Preservation in many-valued truth institutions
• What is a logic translation?
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• A categorical study on the finiteness of specifications
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Ultraproducts and possible worlds semantics in institutions
• Graded consequence: an institution theoretic study
• Remarks on classifications and adjunctions
• Birkhoff style calculi for hybrid logics
• Institution-independent model theory
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Herbrand theorems in arbitrary institutions
• Stratified institutions and elementary homomorphisms
• Saturated models in institutions
• An institution-independent proof of the Beth definability theorem
• Structural induction in institutions

This page was built for publication:

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