An institution-independent proof of Craig interpolation theorem

DOI10.1023/B:STUD.0000034185.62660.d6zbMath1048.03026OpenAlexW2005494456MaRDI QIDQ1876090

Răzvan Diaconescu

Publication date: 16 August 2004

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

Full work available at URL: https://doi.org/10.1023/b:stud.0000034185.62660.d6

zbMATH Keywords

interpolationinstitutionsalgebraic specificationaxiomatizability

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40)

Related Items

Interpolation in Grothendieck institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Remarks on classifications and adjunctions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Interpolation for predefined types ⋮ An axiomatic approach to structuring specifications ⋮ The institution-theoretic scope of logic theorems ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ On the algebra of structured specifications ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Saturated models in institutions ⋮ An institution-independent proof of the Beth definability theorem ⋮ A semantic approach to interpolation ⋮ Abstract Beth definability in institutions ⋮ Generalised graded interpolation ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

Uses Software

• CASL