The institution-theoretic scope of logic theorems

DOI10.1007/s11787-013-0093-xzbMath1338.03073OpenAlexW2120777067MaRDI QIDQ2254570

Răzvan Diaconescu, Andrzej Tarlecki, Till Mossakowski

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0093-x

zbMATH Keywords

interpolationdefinabilityinstitution theoryabstract model theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Related Items

Generalised graded interpolation

Cites Work

• Foundations of algebraic specification and formal software development.
• An institution-independent proof of the Robinson consistency theorem
• A simple algebraic proof of the equational interpolation theorem
• On pushout consistency, modularity and interpolation for logical specifications
• On a generalized modularization theorem
• An institution-independent proof of Craig interpolation theorem
• Interpolation in Grothendieck institutions
• Institution-independent model theory
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Borrowing interpolation
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Abstract Beth definability in institutions
• Module algebra
• Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item