Combination of uniform interpolants via Beth definability (Q2090132)

From MaRDI portal
Revision as of 15:20, 30 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Combination of uniform interpolants via Beth definability
scientific article

    Statements

    title
    Combination of uniform interpolants via Beth definability (English)
    0 references
    author
    Diego Calvanese
    0 references
    Silvio Ghilardi
    0 references
    Alessandro Gianola
    0 references
    Marco Montali
    0 references
    Andrey Rivkin
    0 references
    publication date
    24 October 2022
    0 references
    zbMATH Keywords
    uniform interpolation
    0 references
    covers
    0 references
    theory combination
    0 references
    Beth definability
    0 references
    cites work
    Model theory.
    0 references
    Q5674430
    0 references
    Q5094130
    0 references
    Q3875897
    0 references
    Q4068699
    0 references
    Q4694581
    0 references
    Q4385439
    0 references
    Q4893140
    0 references

    Identifiers

    zbMATH DE Number
    7606344
    0 references
    OpenAlex ID
    W4280625473
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2090132&oldid=37447739"
    Powered by MediaWiki