id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
rv042r40b2p	Paul Anh Trần-Hoàng	Model-Theoretic Approaches to Theoretical Equivalence and Reduction	2020		.txt	text/plain	265	13	36	What does it mean to say that a formal theory is reducible to another?This dissertation seeks to better understand possible answers to these questions by employing methods and tools from model theory, a branch of mathematical logic that studies the relationship between formal languages and the mathematical structures that provide such languages with meaning. In Chapter 2, I motivate a a distinctively semantic view of mathematical theories according to which formalized mathematical statements are taken to specify conditions which describe a variety of possibly non-isomorphic structures.	cache/rv042r40b2p.txt	txt/rv042r40b2p.txt