57 citations · 78 across the 5 of their papers we have counts for
1 paper · 2 filters
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…