{"version":"1.0","type":"link","title":"Cointerpretability - Newikis","description":"In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S when the language of S can be translated into the language of T in such a way that S proves every formula whose translation is a theorem of T. The…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}