id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_ykwolezdqncbhbxl6czwqhz6ve	Laurenz Hudetz	Definable Categorical Equivalence	2019	31	.pdf	application/pdf	13301	1577	73	This paper aims to provide a new criterion of formal equivalence of theories that is suitable for being supplemented with preservation conditions This paper puts forward a new criterion of formal equivalence of theories. In Section 3, I introduce the criterion of definable categorical equivalence (DCE), which The basic idea behind GDE is to count theories as formally equivalent just in case equivalent, the models in each formalism should have su�cient internal structure equivalence does not imply that the models of each theory are somehow definable However, we will now see that if we endow their models with coordinate systems, the resulting versions of Minkowski and Euclidean geometry become GDequivalent but not DC-equivalent. T1 and T2 are DC-equivalent with definable inner isomorphisms i↵ there are functors F : Cat (T1) ! T1 and T2 are DC-equivalent with definable inner isomorphisms i↵ there are functors F : Cat (T1) !	./cache/work_ykwolezdqncbhbxl6czwqhz6ve.pdf	./txt/work_ykwolezdqncbhbxl6czwqhz6ve.txt