Downward Löwenheim-Skolem theorem and interpolation in logics with constructors

DOI10.1093/LOGCOM/EXX018MaRDI QIDQ3133181zbMATHzbMATHOpenAlexFDO

Authors Daniel Găină

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exx018

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65) Type theory (03B38)

Recommendations

• Interpolation in logics with constructors
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Borrowing interpolation
• An institution-independent proof of Craig interpolation theorem

Cited in

(6)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Interpolation in logics with constructors
• Birkhoff style calculi for hybrid logics
• scientific article; zbMATH DE number 7559273 (Why is no real title available?)
• Generalised graded interpolation
• Stability of termination and sufficient-completeness under pushouts via amalgamation

This page was built for publication: Downward Löwenheim-Skolem theorem and interpolation in logics with constructors

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