{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T14:05:13Z","timestamp":1648649113061},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6401,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically.<\/jats:p>","DOI":"10.2307\/2275782","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:59:03Z","timestamp":1146941943000},"page":"745-767","source":"Crossref","is-referenced-by-count":3,"title":["Some elementary results in intuitionistic model theory"],"prefix":"10.1017","volume":"61","author":[{"given":"Wim","family":"Veldman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Waaldijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017096_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF01621093"},{"key":"S0022481200017096_ref002","volume-title":"Intui\u0163ionism, an introduction","author":"Heyting","year":"1956"},{"key":"S0022481200017096_ref001","volume-title":"Cours de logique math\u00e9matique","volume":"2","author":"Fra\u00efss\u00e9","year":"1972"},{"key":"S0022481200017096_ref006","volume-title":"Constructivism in mathematics, vol I and II","author":"Troelstra","year":"1988"},{"key":"S0022481200017096_ref004","volume-title":"The foundations of intuitionistic mathematics, especially in relation to recursive functions","author":"Kleene","year":"1965"},{"key":"S0022481200017096_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8640-5"},{"key":"S0022481200017096_ref007","first-page":"1417","volume":"57","author":"van Dalen","year":"1993","journal-title":"The continuum and first-order intuitionistic logic"},{"key":"S0022481200017096_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T16:33:37Z","timestamp":1557678817000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017096\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S0022481200017096"],"URL":"https:\/\/doi.org\/10.2307\/2275782","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}