{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:12:52Z","timestamp":1778764372043,"version":"3.51.4"},"reference-count":13,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4641,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1016\/s0168-0072(99)00048-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:26:14Z","timestamp":1027614374000},"page":"51-82","source":"Crossref","is-referenced-by-count":23,"title":["Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis"],"prefix":"10.1016","volume":"105","author":[{"given":"Timothy J.","family":"Carlson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(99)00048-2_BIB1","unstructured":"T.J. Carlson, A solution to Reinhardt's conjecture: EA+SMT is consistent, handwritten manuscript dated 12\/20\/83, 2 pp."},{"key":"10.1016\/S0168-0072(99)00048-2_BIB2","unstructured":"T.J. Carlson, Epistemic arithmetic and a conjecture of Reinhardt, Abstracts of papers presented to the American Mathematical Society, Vol. 5 (1994) p. 200."},{"key":"10.1016\/S0168-0072(99)00048-2_BIB3","unstructured":"T.J. Carlson, Ordinal arithmetic and \u03a31 elementarity, preprint."},{"key":"10.1016\/S0168-0072(99)00048-2_BIB4","unstructured":"T.J. Carlson, The independence of the strong mechanistic thesis and the epistemic Church's thesis, in preparation."},{"key":"10.1016\/S0168-0072(99)00048-2_BIB5","doi-asserted-by":"crossref","unstructured":"R.C. Flagg, Church's thesis is consistent with epistemic arithmetic, in: S. Shapiro (Ed.), Intensional Mathematics (North-Holland, Amsterdam, 1988), pp. 121\u2013172.","DOI":"10.1016\/S0049-237X(08)70142-3"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB6","doi-asserted-by":"crossref","unstructured":"H. Friedman, The disjunction property implies the numeric existence property, Proc. National Academy of the Sciences, Vol. 72 (1975) pp. 2877\u20132878.","DOI":"10.1073\/pnas.72.8.2877"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","article-title":"Disjunction and existence under implication in elementary intuitionistic formalisms","volume":"27","author":"Kleene","year":"1962","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB8","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philos. Fennica"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB9","unstructured":"W.N. Reinhardt, The consistency of a variant of Church's thesis with an axiomatic theory of an epistemic notion, Revista Colombiana de Matem'aticas, Special volume for the Proceedings of the 5th Latin American Symposium on Mathematical Logic, 1981, Vol. 19 (1985) pp. 177\u2013200."},{"key":"10.1016\/S0168-0072(99)00048-2_BIB10","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00262865","article-title":"Necessity predicates and operators","volume":"9","author":"Reinhardt","year":"1980","journal-title":"J. Philos. Logic"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB11","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/2214945","article-title":"Absolute versions of the incompleteness theorems","volume":"19","author":"Reinhardt","year":"1985","journal-title":"Nous"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB12","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/BF00243392","article-title":"Epistemic theories and the interpretation of Godel's incompleteness theorems","volume":"15","author":"Reinhardt","year":"1986","journal-title":"J. Philos. Logic"},{"key":"10.1016\/S0168-0072(99)00048-2_BIB13","doi-asserted-by":"crossref","unstructured":"S. Shapiro, Epistemic and intuitionistic arithmetic, in: S. Shapiro (Ed.), Intensional Mathematics (North-Holland, Amsterdam, 1988), pp. 11\u201346.","DOI":"10.1016\/S0049-237X(08)70138-1"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007299000482?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007299000482?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,11]],"date-time":"2020-01-11T11:04:38Z","timestamp":1578740678000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007299000482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":13,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["S0168007299000482"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(99)00048-2","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}