An interpretive isomorphism between binary and ternary relations

DOI10.1007/3-540-63246-8_6MaRDI QIDQ4362729zbMATH OpenFDO

Authors Dale Myers

Publication date 13 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63246-8_6

zbMATH Keywords

binary relationinterpretationsinterpretively isomorphicternary relation

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Recommendations

• scientific article; zbMATH DE number 4179336
• Ternary relations and relevant semantics
• On the Cayley isomorphism problem for ternary relational structures
• The number of non-isomorphic ternary relations
• On the typification of binary relations
• Binary relations as lattice isomorphisms
• An explanation for the ternary relation R in the relational semantics of relevance logic
• On the Compatibility of a Ternary Relation with a Binary Fuzzy Relation
• On the ternary relation and conditionality
• Binary and ternary relations

Cited in

(6)

• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
• The number of non-isomorphic ternary relations
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• Invertible multi-dimensional interpretations versus virtual isomorphisms of first-order theories
• On the ternary relation and conditionality
• Cartesian extensions and definition of the concept of model-theoretic property

This page was built for publication: An interpretive isomorphism between binary and ternary relations

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