57 citations · 86 across the 14 of their papers we have counts for
1 paper · 1 filter
Harvey M. Friedman, Albert Visser
Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest no…