TY - BOOK ID - 85645235 TI - Model theory and the philosophy of mathematical practice PY - 2018 SN - 110810021X 1316987213 1108103014 1107189217 1316638839 9781316987216 9781107189218 9781316638835 9781108103015 PB - New York, NY DB - UniCat KW - Model theory. KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, Symbolic and mathematical KW - Model theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:85645235 AB - Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. ER -