{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803734},"reference-count":9,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,4,1]]},"DOI":"10.1305\/ndjfl\/1039293063","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:49:13Z","timestamp":1046206153000},"source":"Crossref","is-referenced-by-count":3,"title":["Intuitionistic Open Induction and Least Number Principle and the Buss Operator"],"prefix":"10.1215","volume":"39","author":[{"given":"Mohammad","family":"Ardeshir","sequence":"first","affiliation":[]},{"given":"Mojtaba","family":"Moniri","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"3","doi-asserted-by":"crossref","unstructured":"Kaye, R., <i>Models of Peano Arithmetic<\/i>, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Buss, S., \u201cIntuitionistic validity in $T$-normal Kripke structures,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 59 (1993), pp. 159\u201373. Zbl 0802.03006 MR 94m:03020","DOI":"10.1016\/0168-0072(93)90091-Q"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Friedman, H., \u201cClassically and intuitionistically provably recursive functions,\u201d pp. 21\u201327 in <i>Higher Set Theory<\/i>, edited by G. H. Muller and D. S. Scott, Springer-Verlag, Berlin, 1978. Zbl 0396.03045 MR 80b:03093","DOI":"10.1007\/BFb0103100"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Markovic, Z., \u201cOn the structure of Kripke models of Heyting Arithmetic,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 39 (1993), pp. 531\u201338. Zbl 0805.03050 MR 95f:03103","DOI":"10.1002\/malq.19930390154"},{"key":"5","unstructured":"Shepherdson, J., \u201cA nonstandard model for a free variable fragment of number theory,\u201d <i>Bulletin of the Polish Academy of Sciences: Mathematics<\/i>, vol. 12 (1964), pp. 79\u201386."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Smorynski, C., \u201cApplications of Kripke models,\u201d pp. 324\u201391 in <i>Metamathematical Investigations of Intuitionistic Arithmetic and Analysis<\/i>, edited by A. S. Troelstra, Springer-Verlag, Berlin, 1973. MR 56:2795","DOI":"10.1007\/BFb0066744"},{"key":"7","unstructured":"Troelstra, A. S., and D. van Dalen, <i>Constructivism in Mathematics<\/i>, vol. 1, North-Holland, Amsterdam, 1988. Zbl 0653.03040 MR 90e:03002a"},{"key":"8","doi-asserted-by":"publisher","unstructured":"van Dalen, D., H. Mulder, E. C. W. Krabbe, and A. Visser, \u201cFinite Kripke models of HA are locally PA,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 27 (1986), pp. 528\u201332. Zbl 0632.03048 MR 87m:03088","DOI":"10.1305\/ndjfl\/1093636765"},{"key":"9","unstructured":"Wehmeier, K. F., \u201cFragments of HA based on $\\Sigma_1$-induction,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 37 (1997), pp. 37\u201349. Zbl 0886.03040 MR 99a:03062 \\AFDepartment of Mathematics Sharif University of Technology Tehran IRAN and Logic Group, IPM P.O. Box 19395-5746 Tehran IRAN email: ardeshir@karun.ipm.ac.ir Department of Mathematics Tarbiat Modarres University Tehran IRAN and Logic Group, IPM P.O. Box 19395-5746 Tehran IRAN email: mojmon@karun.ipm.ac.ir"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039293063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:20Z","timestamp":1706649200000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-2\/Intuitionistic-Open-Induction-and-Least-Number-Principle-and-the-Buss\/10.1305\/ndjfl\/1039293063.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4,1]]},"references-count":9,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1998,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039293063","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,4,1]]}}}