Preservation and Interpolation Through Binary Relations Between Theories

DOI10.1002/MALQ.19890350206MaRDI QIDQ3797168zbMATH OpenOpenAlexFDO

Authors Michel Hébert

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350206

zbMATH Keywords

binary relations between theoriesinterpolationpreservation

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Recommendations

• Corrections to “preservation and interpolation through binary relations between theories”
• scientific article; zbMATH DE number 4071884
• A mathematical characterization of interpretation between theories
• Interpolation and preservation for pebble logics
• Partial discretization and preservation relations
• Preservativity logic: An analogue of interpretability logic for constructive theories
• Preserving categoricity and complexity of relations
• Similarity relations and the preservation of solidity
• Preservation theorems for Kripke models
• Some preservation theorems in an intermediate logic

Cited in

(4)

• Syntactic characterization of closure under connected limits
• Representation and preservation of the metamathematical quotients of A. Robinson
• scientific article; zbMATH DE number 3968569 (Why is no real title available?)
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

This page was built for publication: Preservation and Interpolation Through Binary Relations Between Theories

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