Degrees of interpretability
Vítězslav Švejdar · Czech digital mathematics library · 1978
T is a fixed theory containing arithmetic-For sentences 9?, ip in the language of T,& 4^.f means that T with the additional axiom y is relatively interpretable in T with the additional axiom f .The structure Vm of degrees induced by 4~ is considered and various algebraic properties of Vm are exhibited.For example, if T is essentially reflexive, then Vm is a distributive lattice with 0 and 1 and no element except 0 and 1 has a complement.Key words;