A mathematical characterization of interpretation between theories (Q1062672)

From MaRDI portal
Revision as of 23:49, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
A mathematical characterization of interpretation between theories
scientific article

    Statements

    A mathematical characterization of interpretation between theories (English)
    0 references
    0 references
    1984
    0 references
    This paper presents a purely model-theoretic condition necessary and sufficient for the usual syntactic notion of relative interpretability between first-order theories. The condition involves the existence of a reduction functor between the respective model classes which preserves ultraproducts. A natural generalization is found whose syntactic equivalent is a notion of interpretability closer to those used in actual mathematical practice.
    0 references
    relative interpretability between first-order theories
    0 references
    reduction functor
    0 references
    model classes
    0 references
    ultraproducts
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references