Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs (Q1920077): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q779151
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Mikhaĭl G. Peretyat'kin / rank
 
Normal rank

Revision as of 16:29, 20 February 2024

scientific article
Language Label Description Also known as
English
Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
scientific article

    Statements

    Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs (English)
    0 references
    28 August 1996
    0 references
    finitely axiomatizable theory
    0 references
    recursively axiomatizable theory
    0 references
    interpretation
    0 references
    reduction of signature
    0 references
    reduction
    0 references
    graph
    0 references
    Lindenbaum algebra
    0 references
    semantic similarity
    0 references
    model-theoretic properties
    0 references

    Identifiers