This book resolves the tension between mathematical knowledge and mathematical realism by developing an innovative accommodationist theory of reference in mathematics. It utilizes detailed case studies of mathematical induction, aspects of computability theory, and compactness phenomena in mathematics and logic.