Abstract
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
... read more