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

DOI10.1093/LOGCOM/EXX018zbMATH Open1444.03187OpenAlexW2963578516MaRDI QIDQ3133181FDOQ3133181

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Generalised graded interpolation
• Stability of termination and sufficient-completeness under pushouts via amalgamation
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Birkhoff style calculi for hybrid logics

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)