{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:09:17Z","timestamp":1760782157208},"reference-count":13,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"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":6652,"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":[[1995,5]]},"DOI":"10.1016\/0168-0072(93)e0071-u","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:14:35Z","timestamp":1027635275000},"page":"37-51","source":"Crossref","is-referenced-by-count":29,"title":["A model for intuitionistic non-standard arithmetic"],"prefix":"10.1016","volume":"73","author":[{"given":"Ieke","family":"Moerdijk","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(93)E0071-U_BIB1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-94-2-129-143","article-title":"Two closed categories of filters","volume":"94","author":"Blass","year":"1977","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(93)E0071-U_BIB2","article-title":"An explicit Boolean-valued model for the non-standard arithmetic","author":"Dragalin","year":"1993","journal-title":"Univ. Debrecen Tech. Report 93\/75"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB3","series-title":"The L.E.J. Brouwer Centenary Symposium","first-page":"165","article-title":"The effective topos","author":"Hyland","year":"1982"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB4","first-page":"19","article-title":"On the category of filters","volume":"11","author":"Koubek","year":"1970","journal-title":"Comm. Math. Univ. Carolinea"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB5","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB6","series-title":"Sheaves in Geometry and Logic, A First Introduction to Topos Theory","author":"MacLane","year":"1992"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB7","article-title":"Mathematics of infinity","volume":"417","author":"Martin-L\u00f6f","year":"1989"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB8","series-title":"The Van Dalen Festschrift","first-page":"89","article-title":"A model for intuitionistic non-standard arithmetic","volume":"Vol. V","author":"Moerdijk","year":"1993"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB9","series-title":"Models for Smooth Infinitesimal Analysis","author":"Moerdijk","year":"1991"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB10","article-title":"Non-standard models of constraint logic programs","author":"Palmgren","year":"1992"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB11","series-title":"Constructive approaches to non-standard analysis","author":"Palmgren","year":"1993"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB12","article-title":"Non-standard models of arithmetic","author":"Smorynski","year":"1980","journal-title":"Utrecht preprint 153"},{"key":"10.1016\/0168-0072(93)E0071-U_BIB13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(78)90029-3","article-title":"An interpretation of intuitionistic analysis","volume":"13","author":"van Dalen","year":"1978","journal-title":"Ann. Math. Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007293E0071U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007293E0071U?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T17:55:41Z","timestamp":1555264541000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007293E0071U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["0168007293E0071U"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(93)e0071-u","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}