Two interpolation theorems

MaRDI QIDQ6976654zbMATH OpenFDO

Authors Franklin C. Galindo

Publication date 2 June 2025

Published in Divulgaciones Matemáticas (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL https://produccioncientificaluz.org/index.php/divulgaciones/article/view/31366

zbMATH Keywords

abstract model theoryCraig's interpolation propertyfirst-order logicmodels constructed from constants and inseparable theoriespropositional logic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Cites work

• A Pedagogical History of Compactness
• An extension of the Craig-Lyndon interpolation theorem
• Barwise: Abstract Model Theory and Generalized Quantifiers
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3124826 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)
• scientific article; zbMATH DE number 789391 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Introduction to mathematical logic
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Real analysis
• The completeness of the first-order functional calculus
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Two interpolation theorems

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