@inbook{9a9fd35d84c84966bebaa4c74c54a2d8,
title = "Why the theory R is special",
abstract = "In this paper we provide a “coordinate-free” characterization of the Tarski-Mostowski-Robinson theory R by showing that R is the maximum of the global degrees of interpretability that are in the minimum local degree of interpretability. In more mundane terms, we show that a recursively enumerable theory is locally finite iff it can be globally interpreted R. This is the first non-trivial coordinate-free characterization of a canonical theory",
keywords = "weak theories, interpretations, degrees, logic, arithmetic",
author = "Albert Visser",
year = "2014",
language = "English",
isbn = "978-1-84890-117-9",
series = "Tributes",
publisher = "College Publications",
pages = "7--24",
editor = "Neil Tennant",
booktitle = "Foundational Adventures",
address = "United Kingdom",
}