- Published 2009

Is it possible to give coordinate-free characterizations of salient theories? Such characterizations would always involve some notion of sameness of theories: we want to describe a theory modulo a notion of sameness, without having to give an axiomatization in a specific language. Such a characterization could, e.g., be a first order formula in the language of partial preorderings that describes uniquely a degree in a particular structure of degrees of interpretability. Our theory would be contained in this degree. There are very few examples currently known along these lines, except some rather

@inproceedings{Visser2009WhyTT,
title={Why the Theory R Is Special},
author={Albert Visser},
year={2009}
}