{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:22:20Z","timestamp":1649197340809},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T00:00:00Z","timestamp":1476403200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s00153-016-0513-8","type":"journal-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:38:34Z","timestamp":1476452314000},"page":"43-49","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An induction principle over real numbers"],"prefix":"10.1007","volume":"56","author":[{"given":"Assia","family":"Mahboubi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"key":"513_CR1","unstructured":"Coquand, T.: A note on the open induction principle. http:\/\/www.math.chalmers.se\/~coquand\/intuitionnism.html (1997)"},{"key":"513_CR2","doi-asserted-by":"crossref","unstructured":"Geuvers, H., Niqui, M.: Constructive reals in coq: axioms and categoricity. In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8\u201312, 2000, Selected Papers, Lecture Notes in Computer Science, vol. 2277, pp. 79\u201395. Springer, Berlin (2000)","DOI":"10.1007\/3-540-45842-5_6"},{"key":"513_CR3","unstructured":"Raoult, J.C.: Induction of open properties. Research Report RR-0813, INRIA (1988). https:\/\/hal.inria.fr\/inria-00075738"},{"key":"513_CR4","doi-asserted-by":"crossref","unstructured":"Troelstra, A. (ed.): Metamathematical Investigation of Intutitionnistic Arithmetic and Analysis, Lecture Notes in Mathematics, vol. 344. Springer, Berlin (1973)","DOI":"10.1007\/BFb0066739"},{"key":"513_CR5","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Vol. I, Studies in Logic and the Foundations of Mathematics, An Introduction, vol. 121. North-Holland Publishing Co., Amsterdam (1988)"},{"key":"513_CR6","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Vol. II, Studies in Logic and the Foundations of Mathematics, An Introduction, vol. 123. North-Holland Publishing Co., Amsterdam (1988)"},{"key":"513_CR7","unstructured":"Veldman, W.: Almost the fan theorem. Nieuw Arch. Wiskd. (5) 2(4) (2001)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0513-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0513-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0513-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T16:15:31Z","timestamp":1568477731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0513-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,14]]},"references-count":7,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["513"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0513-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,14]]}}}