@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",

}