![Model theory / Non-standard model of arithmetic / Second-order logic / S / Plural quantification / First-order logic / Peano axioms / Interpretation / Compactness theorem / Mathematical logic / Logic / Mathematics Model theory / Non-standard model of arithmetic / Second-order logic / S / Plural quantification / First-order logic / Peano axioms / Interpretation / Compactness theorem / Mathematical logic / Logic / Mathematics](https://www.pdfsearch.io/img/d21361f25b63ada460c834284e81c9f2.jpg) Date: 2011-02-03 15:19:17Model theory Non-standard model of arithmetic Second-order logic S Plural quantification First-order logic Peano axioms Interpretation Compactness theorem Mathematical logic Logic Mathematics | | Some hints on reading Boolos, “To Be is to Be. . . ” John MacFarlane—Philosophy 142 February 3, 2011 There are some things in this article that will only make sense to you if you’ve studied some metalogic and setAdd to Reading ListSource URL: johnmacfarlane.netDownload Document from Source Website File Size: 44,99 KBShare Document on Facebook
|