Bi-Interpretierbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine starke Äquivalenz zwischen zwei Theorien, wobei jede in die andere interpretierbar ist und die beiden Interpretationen so komponieren, dass sie definierbar isomorph zur Identität sind; anschaulich stellen die Theorien die Struktur der jeweils anderen bis auf definierbares Isomorphie wieder her.