Why the Theory R Is Special


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

Cite this paper

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