{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802143},"reference-count":4,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,4,1]]},"DOI":"10.1305\/ndjfl\/1039724890","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:04:45Z","timestamp":1046207085000},"source":"Crossref","is-referenced-by-count":1,"title":["A Conjecture on Numeral Systems"],"prefix":"10.1215","volume":"38","author":[{"given":"Karim","family":"Nour","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Barendregt, H., <i>The Lambda Calculus, Its Syntax and Semantics<\/i>, North-Holland, Amsterdam, 1984. Zbl 0551.03007 MR 86a:03012"},{"key":"2","unstructured":"Krivine, J-L., <i>Lambda Calcul, Types et Mod\u00e8les<\/i> Masson, Paris, 1990. Zbl 0697.03004 MR 93i:03019"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Krivine, J-L., \u201cOp\u00e9rateurs de mise en m\u00e9moire et traduction de G\u00f6del,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 30 (1990), pp. 241\u201367. Zbl 0712.03009 MR 91j:03011","DOI":"10.1007\/BF01792986"},{"key":"4","unstructured":"Nour, K., \u201cAn example of a nonadequate numeral system,\" Comptes Rendus de l'Acad\u00e9mie des Sciences, t. 323, S\u00e9rie 1 (1996), pp. 439\u201342. MR 97d:03008"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039724890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:05Z","timestamp":1706649185000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-2\/A-Conjecture-on-Numeral-Systems\/10.1305\/ndjfl\/1039724890.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4,1]]},"references-count":4,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1997,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039724890","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}