{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:03Z","timestamp":1740123903151,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T00:00:00Z","timestamp":1529539200000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10992-018-9465-2","type":"journal-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T23:53:39Z","timestamp":1529538819000},"page":"263-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3187-8468","authenticated-orcid":false,"given":"M. Randall","family":"Holmes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,21]]},"reference":[{"unstructured":"Boffa, M, & Crabb\u00e9, M. (1975). Les th\u00e9or\u00e8mes 3-stratifi\u00e9e de NF3. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences Paris, t. 180.","key":"9465_CR1"},{"unstructured":"Burgess, J.P., Hazen, A.P., Lewis, D. (1991). Appendix on pairing. In Lewis, David, parts of classes (pp. 121\u2013149). Oxford: Basil Blackwell.","key":"9465_CR2"},{"unstructured":"Fourny, L. (2005). Le nombre naturel de Frege dans les th\u00e9ories typ\u00e9es et difficult\u00e9s associ\u00e9es. Master\u2019s thesis, Catholic University of Louvain-la-Neuve.","key":"9465_CR3"},{"key":"9465_CR4","first-page":"1387","volume":"10","author":"VN Grishin","year":"1969","unstructured":"Grishin, V.N. (1969). Consistency of a fragment of Quine\u2019s NF system. Soviet Mathematics - Doklady, 10, 1387\u201390.","journal-title":"Soviet Mathematics - Doklady"},{"issue":"6","key":"9465_CR5","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1023\/A:1004247419201","volume":"26","author":"AP Hazen","year":"1997","unstructured":"Hazen, A.P. (1997). Relations in monadic third order logic. Journal of Philosophical Logic, 26(6), 619\u2013628.","journal-title":"Journal of Philosophical Logic"},{"key":"9465_CR6","first-page":"199","volume-title":"Set theory","author":"T Jech","year":"1978","unstructured":"Jech, T. (1978). Set theory (pp. 199\u2013201). New York: Academic."},{"key":"9465_CR7","doi-asserted-by":"publisher","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","volume":"3","author":"C Kuratowski","year":"1922","unstructured":"Kuratowski, C. (1922). Sur l\u2019operation A de l\u2019analysis situs. Fundamenta Mathematicae, 3, 182\u2013199.","journal-title":"Fundamenta Mathematicae"},{"key":"9465_CR8","volume-title":"Parts of Classes","author":"D Lewis","year":"1991","unstructured":"Lewis, D. (1991). Parts of Classes. Oxford: Basil Blackwell."},{"unstructured":"Oswald, M. (1985). Axiomatique de Peano et Definitions Fregeene des Nombres Naturels dans les Familles d\u2019Ensembles, Louvain-la-Neuve. Master\u2019s thesis, Catholic University of Louvain-la-Neuve.","key":"9465_CR9"},{"key":"9465_CR10","first-page":"1117","volume":"290","author":"JF Pabion","year":"1980","unstructured":"Pabion, J.F. (1980). TT3I est \u00e9quivalent \u00e0 l\u2019arithm\u00e9tique du second ordre. Comptes Rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des Sciences de Paris (s\u00e9rie A), 290, 1117\u20131118.","journal-title":"Comptes Rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des Sciences de Paris (s\u00e9rie A)"},{"key":"9465_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1080\/00029890.1937.11987928","volume":"44","author":"WO Quine","year":"1937","unstructured":"Quine, W.O. (1937). New foundations for mathematical logic. American Mathematical Monthly, 44, 70\u201380.","journal-title":"American Mathematical Monthly"},{"key":"9465_CR12","first-page":"338","volume":"25","author":"FP Ramsey","year":"1925","unstructured":"Ramsey, FP. (1925). The foundations of mathematics. Proceedings of the London Mathematical Society, 25, 338\u2013384.","journal-title":"Proceedings of the London Mathematical Society"},{"unstructured":"Specker, E.P. (1962). Typical ambiguity. In E. Nagel (Ed.) Logic, methodology and philosophy of science (pp. 116\u2013123). Stanford: Stanford University Press.","key":"9465_CR13"},{"key":"9465_CR14","first-page":"406","volume-title":"Logic, computers, and sets","author":"H Wang","year":"1970","unstructured":"Wang, H. (1970). Logic, computers, and sets (p. 406). New York: Chelsea."},{"unstructured":"Whitehead, A.N., & Russell, B. (1910, 1912 and 1913). Principia Mathematica, 3 vols. Cambridge: Cambridge University Press.","key":"9465_CR15"},{"key":"9465_CR16","first-page":"387","volume":"17","author":"N Wiener","year":"1914","unstructured":"Wiener, N. (1914). A simplification of the logic of relations. Proceedings of the Cambridge Philosophical Society, 17, 387\u201390.","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"9465_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01450054","volume":"65","author":"E Zermelo","year":"1908","unstructured":"Zermelo, E. (1908). Neuer Beweis f\u00fcr die M\u00f6glichkeit einer Wohlordnung. Mathematische Annalen, 65, 107\u2013128.","journal-title":"Mathematische Annalen"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9465-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9465-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9465-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:09:34Z","timestamp":1561057774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9465-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,21]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9465"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9465-2","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2018,6,21]]},"assertion":[{"value":"28 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}