{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:23:00Z","timestamp":1780078980158,"version":"3.54.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1004251506208","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T13:18:08Z","timestamp":1040476688000},"page":"223-235","source":"Crossref","is-referenced-by-count":45,"title":["Inconsistent Models of Arithmetic Part I: Finite Models"],"prefix":"10.1007","volume":"26","author":[{"given":"Graham","family":"Priest","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"107087_CR1","first-page":"61","volume-title":"First International Symposium on G\u00f6del's Theorems","author":"J. van Bendegem","year":"1993","unstructured":"van Bendegem, Jean-Paul (1993): Strict, yet rich finitism, pp. 61\u201379 of Z. W. Wolkowski (ed.) First International Symposium on G\u00f6del's Theorems, World Scientific, Singapore."},{"key":"107087_CR2","volume-title":"Computability and Logic","author":"G. Boolos","year":"1984","unstructured":"Boolos, G. and Jeffrey, R. (1984): Computability and Logic, Cambridge University Press, Cambridge."},{"key":"107087_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00370439","volume":"38","author":"J. M. Dunn","year":"1979","unstructured":"Dunn, J. M. (1979): A theorem in 3-valued model theory, with connections to number theory, type theory and relevance logic, Studia Logica\n38, 149\u2013169.","journal-title":"Studia Logica"},{"key":"107087_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"R. Kaye","year":"1991","unstructured":"Kaye, R. (1991): Models of Peano Arithmetic, Clarendon Press, Oxford."},{"key":"107087_CR5","first-page":"133","volume":"5","author":"R. K. Meyer","year":"1978","unstructured":"Meyer, R. K. (1978): Relevant arithmetic, Bulletin of the Section of Logic, Polish Academy of Sciences\n5, 133\u2013137.","journal-title":"Bulletin of the Section of Logic, Polish Academy of Sciences"},{"key":"107087_CR6","doi-asserted-by":"crossref","first-page":"917","DOI":"10.2307\/2274145","volume":"49","author":"R. K. Meyer","year":"1984","unstructured":"Meyer, R. K. and Mortensen, C. (1984): Inconsistent models for relevant arithmetic, Journal of Symbolic Logic\n49, 917\u2013929.","journal-title":"Journal of Symbolic Logic"},{"key":"107087_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8453-1","volume-title":"Inconsistent Mathematics","author":"C. Mortensen","year":"1995","unstructured":"Mortensen, C. (1995): Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht."},{"key":"107087_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In Contradiction","author":"G. Priest","year":"1987","unstructured":"Priest, G. (1987): In Contradiction, Nijhoff, Dordrecht."},{"key":"107087_CR9","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"Priest, G. (1991): Minimally inconsistent LP, Studia Logica\n50, 321\u2013331.","journal-title":"Studia Logica"},{"key":"107087_CR10","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1093\/mind\/103.411.337","volume":"103","author":"G. Priest","year":"1994","unstructured":"Priest, G. (1994): Is arithmetic consistent?, Mind\n103, 337\u2013349.","journal-title":"Mind"},{"key":"107087_CR11","volume-title":"Paraconsistent Logics","author":"G. Priest","year":"1989","unstructured":"Priest, G., Routley, R. and Norman, J. (1989): Paraconsistent Logics, Philosophia Verlag, Munich."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004251506208.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004251506208\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1004251506208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004251506208.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:29:47Z","timestamp":1752146987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004251506208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["107087"],"URL":"https:\/\/doi.org\/10.1023\/a:1004251506208","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}