Non-standard model of arithmetic - PDFSEARCH.IO - Document Search Engine

Non-standard model of arithmetic
Results: 4

#	Item
1	Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 14:22:05 Model theory Quantification Predicate logic Semantics First-order logic Second-order logic Interpretation Non-standard model of arithmetic Nonfirstorderizability Mathematical logic Logic Mathematics
2	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 set Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-03 15:19:17 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
3	This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2013-06-28 11:56:13 Diagonal lemma Peano axioms Function Well-formed formula Symbol Constructible universe Non-standard model of arithmetic Interpretation Mathematics Logic Mathematical logic
4	Computing the infinite Sam Sanders1 Tohoku University & Ghent University LICS11, June 22, 2011, Fields Institute, Toronto Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-08-06 12:41:28 Abstraction Calculus Mathematical analysis Real closed field Infinitesimal Number Real number Non-standard model of arithmetic Mathematics Infinity Non-standard analysis