Games and Logic

Structures in Logic and Computer Science

Volume 1261 of the series Lecture Notes in Computer Science pp 84-105

Date:

An interpretive isomorphism between binary and ternary relations

  • Dale MyersAffiliated withUniversity of Hawaii

* Final gross prices may vary according to local VAT.

Get Access

Abstract

It is well-known that in first-order logic, the theory of a binary relation and the theory of a ternary relation are mutually interpretable, i.e., each can be interpreted in the other. We establish the stronger result that they are interpretively isomorphic, i.e., they are mutually interpretable by a pair of interpretations each of which is the inverse of the other.