Many-sorted elementary equivalence

DOI10.1305/NDJFL/1093638017MaRDI QIDQ1122567zbMATH OpenOpenAlexFDO

Authors Daniel Dzierzgowski

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093638017

zbMATH Keywords

simple type theorymany-sorted language

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory (03C99)

Recommendations

• On equivalence relations in ordered sets
• Order-sorted equality enrichments modulo axioms
• Many-sorted and single-sorted algebras
• Simple and large equivalence relations
• Elementary equivalence versus isomorphism
• Elementary equivalence in the language of list superstructures
• A Friedberg enumeration of equivalence structures
• scientific article; zbMATH DE number 3989423
• Condensational equivalence, equimorphism, elementary equivalence and similar similarities
• Morita equivalence of many-sorted algebraic theories

Cited in

(4)

• Operators of equivalent sorting power and related Wilf-equivalences
• A note on interpretations of many-sorted theories
• Quine's conjecture on many-sorted logic
• ON A CONSTRUCTION OF MANY-SORTED STRUCTURES

This page was built for publication: Many-sorted elementary equivalence

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