{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T00:05:47Z","timestamp":1717718747723},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T00:00:00Z","timestamp":1419897600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s11229-014-0636-6","type":"journal-article","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T13:23:43Z","timestamp":1419859423000},"page":"2583-2597","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Axiomatizations of arithmetic and the first-order\/second-order divide"],"prefix":"10.1007","volume":"196","author":[{"given":"Catarina","family":"Dutilh Novaes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,30]]},"reference":[{"key":"636_CR1","unstructured":"Ahrens, B., Kapulkin, C. & Shulman, M. (2013). Univalent categories and the Rezk completion. Retrieved from http:\/\/arxiv.org\/abs\/1303.0584 ."},{"key":"636_CR2","unstructured":"Awodey, Steve (2010). Type theory and homotopy. Retrieved from http:\/\/arxiv.org\/abs\/1010.1810 ."},{"issue":"1","key":"636_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445340210146889","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., & Reck, E. H. (2002a). Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic. History and Philosophy of Logic, 23(1), 1\u201330.","journal-title":"History and Philosophy of Logic"},{"issue":"2","key":"636_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/0144534021000028619","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., & Reck, E. H. (2002b). Completeness and categoricity. Part II: twentieth-century metalogic to twenty-first-century semantics. History and Philosophy of Logic, 23(2), 77\u201394.","journal-title":"History and Philosophy of Logic"},{"key":"636_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-94-017-0253-9_7","volume-title":"Thirty five years of automating mathematics","author":"A Avron","year":"2003","unstructured":"Avron, A. (2003). Transitive closure and the mechanization of mathematics. In F. Kamareddine (Ed.), Thirty five years of automating mathematics (pp. 149\u2013171). Dordrecht: Kluwer."},{"issue":"19","key":"636_CR6","doi-asserted-by":"publisher","first-page":"661","DOI":"10.2307\/2025075","volume":"70","author":"P Benacerraf","year":"1973","unstructured":"Benacerraf, P. (1973). Mathematical truth. Journal of Philosophy, 70(19), 661\u2013679.","journal-title":"Journal of Philosophy"},{"key":"636_CR7","unstructured":"Blanchette, P. (2014). The birth of semantic entailment. Slides, talk at the Logic Colloquium, Vienna, 16 July 2014."},{"issue":"2\u20133","key":"636_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10516-010-9101-4","volume":"20","author":"O Bueno","year":"2010","unstructured":"Bueno, O. (2010). A defense of second-order logic. Axiomathes, 20(2\u20133), 365\u2013383.","journal-title":"Axiomathes"},{"key":"636_CR9","unstructured":"Cohen, L. (2010). Ancestral Logic and Equivalent Systems. M.S. thesis, Tel Aviv University."},{"key":"636_CR10","volume-title":"The methodological unity of science","author":"J Corcoran","year":"1973","unstructured":"Corcoran, J. (1973). Gaps between logical theory and mathematical practice. In M. Bunge (Ed.), The methodological unity of science. Dordrecht: Kluwer."},{"key":"636_CR11","volume-title":"Nonstandard models of arithmetic and set theory, contemporary mathematics","year":"2004","unstructured":"Enayat, A., & Roman, K. (Eds.). (2004). Nonstandard models of arithmetic and set theory, contemporary mathematics (Vol. 361). Providence, Rhode Island: American Mathematical Society."},{"key":"636_CR12","unstructured":"Frege, Gottlob (1879\/1977). Begriffsschrift. In Jean van Heijenoort (ed.), From Frege to G\u00f6del: a source book in mathematical logic 1879\u20131931 (pp. 1\u201382). Harvard Unversity Press, Cambridge, 1967."},{"issue":"2","key":"636_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.5840\/philtopics19891724","volume":"17","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J. (1989). Is there completeness in mathematics after G\u00f6del? Philosophical Topics, 17(2), 69\u201390.","journal-title":"Philosophical Topics"},{"key":"636_CR14","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H Levesque","year":"1987","unstructured":"Levesque, H., & Ronald, J. B. (1987). Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3, 78\u201393.","journal-title":"Computational Intelligence"},{"key":"636_CR15","volume-title":"Philosophy of Logic","author":"WV Quine","year":"1970","unstructured":"Quine, W. V. (1970). Philosophy of Logic. Englewood Cliffs: Prentice-Hall."},{"issue":"2","key":"636_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/01445349708837277","volume":"18","author":"S Read","year":"1997","unstructured":"Read, S. (1997). Completeness and categoricity: Frege, G\u00f6del and model theory. History and Philosophy of Logic, 18(2), 79\u201393.","journal-title":"History and Philosophy of Logic"},{"key":"636_CR17","unstructured":"Reck, E. (2011). Dedekind\u2019s contributions to the foundations of mathematics. In E. Zalta (Ed.), Stanford encyclopedia of philosophy. Available at http:\/\/plato.stanford.edu\/entries\/dedekind-foundations\/ ."},{"key":"636_CR18","first-page":"303","volume-title":"First-order logic revisited","author":"Marcus Rossberg","year":"2004","unstructured":"Rossberg, Marcus. (2004). First-order logic, second-order logic, and completeness. In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, & Heinrich Wansing (Eds.), First-order logic revisited (pp. 303\u2013321). Berlin: Logos."},{"key":"636_CR19","unstructured":"Russell, G. (2013). Logical Pluralism. Stanford Encyclopedia of Philosophy."},{"issue":"3","key":"636_CR20","doi-asserted-by":"publisher","first-page":"714","DOI":"10.2307\/2274326","volume":"50","author":"S Shapiro","year":"1985","unstructured":"Shapiro, S. (1985). Second-order languages and mathematical practice. Journal of Symbolic Logic, 50(3), 714\u2013742.","journal-title":"Journal of Symbolic Logic"},{"key":"636_CR21","volume-title":"Foundations without foundationalism: A case for second-order logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S. (1991). Foundations without foundationalism: A case for second-order logic. New York: Oxford University Press."},{"key":"636_CR22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/oso\/9780195079296.003.0005","volume-title":"Mathematics and mind","author":"W Sieg","year":"1994","unstructured":"Sieg, W. (1994). Mechanical procedures and mathematical experience. In A. George (Ed.), Mathematics and mind (pp. 71\u2013117). New York: Oxford University Press."},{"issue":"297","key":"636_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/analys\/68.1.1","volume":"68","author":"P Smith","year":"2008","unstructured":"Smith, P. (2008). Ancestral arithmetic and Isaacson\u2019s thesis. Analysis, 68(297), 1\u201310.","journal-title":"Analysis"},{"issue":"5","key":"636_CR24","first-page":"257","volume":"97","author":"N Tennant","year":"2000","unstructured":"Tennant, N. (2000). Deductive versus expressive power: A pre-g\u00f6delian predicament. Journal of Philosophy, 97(5), 257\u2013277.","journal-title":"Journal of Philosophy"},{"issue":"4","key":"636_CR25","doi-asserted-by":"publisher","first-page":"504","DOI":"10.2307\/2687796","volume":"7","author":"J V\u00e4\u00e4n\u00e4nen","year":"2001","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2001). Second-order logic and foundations of mathematics. Bulletin of Symbolic Logic, 7(4), 504\u2013520.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"1","key":"636_CR26","doi-asserted-by":"publisher","first-page":"91","DOI":"10.2178\/bsl\/1327328440","volume":"18","author":"J V\u00e4\u00e4n\u00e4nen","year":"2012","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2012). Second order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91\u2013121.","journal-title":"Bulletin of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0636-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0636-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0636-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0636-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T05:23:32Z","timestamp":1717651412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0636-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,30]]},"references-count":26,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["636"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0636-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,30]]},"assertion":[{"value":"28 March 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 December 2014","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 December 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}