{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:59Z","timestamp":1755220919200,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1005064032270","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"253-273","source":"Crossref","is-referenced-by-count":2,"title":["Elementary Extensions of External Classes in a Nonstandard Universe"],"prefix":"10.1007","volume":"60","author":[{"given":"Vladimir","family":"Kanovei","sequence":"first","affiliation":[]},{"given":"Michael","family":"Reeken","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"162358_CR1","doi-asserted-by":"crossref","unstructured":"Ballard, D., 1994, Foundational aspects of \u201cnon\u201d standard mathematics, Contemporary Math. 176.","DOI":"10.1090\/conm\/176"},{"key":"162358_CR2","doi-asserted-by":"crossref","first-page":"741","DOI":"10.2307\/2275304","volume":"57","author":"D. Ballard","year":"1992","unstructured":"Ballard, D., and K. Hrba\u010cek, 1992, Standard foundations for nonstandard analysis, J. Symbolic Logic 57, 741\u2013748.","journal-title":"J. Symbolic Logic"},{"key":"162358_CR3","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(92)90035-X","volume":"58","author":"I. van den Berg","year":"1992","unstructured":"van den Berg, I., 1992, Extended use of IST, Ann. Pure Appl. Logic 58, 73\u201392.","journal-title":"Ann. Pure Appl. Logic"},{"key":"162358_CR4","volume-title":"Model Theory","author":"C. C. Chang","year":"1983","unstructured":"Chang, C. C., and H. J. Keisler, 1983, Model Theory, North Holland, Amsterdam, (3rd ed. 1990).","edition":"3rd ed."},{"key":"162358_CR5","doi-asserted-by":"crossref","first-page":"1000","DOI":"10.2307\/2274759","volume":"54","author":"P. Fletcher","year":"1989","unstructured":"Fletcher, P., 1989, Nonstandard set theory, J. Symbolic Logic 54, 1000\u20131008.","journal-title":"J. Symbolic Logic"},{"key":"162358_CR6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01054217","volume":"30","author":"E. Gordon","year":"1989","unstructured":"Gordon, E., 1989, Relatively standard elements in the theory of internal sets of E. Nelson. Siberian Math. J. 30, 89\u201395.","journal-title":"Siberian Math. J."},{"key":"162358_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-98-1-1-19","volume":"98","author":"K. Hrba\u010cek","year":"1978","unstructured":"Hrba\u010cek, K., 1978, Axiomatic foundations for nonstandard analysis. Fund. Math. 98, 1\u201319.","journal-title":"Fund. Math."},{"key":"162358_CR8","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1080\/00029890.1979.11994877","volume":"86","author":"K. Hrba\u010cek","year":"1979","unstructured":"Hrba\u010cek, K. 1979, Nonstandard set theory, Amer. Math. Monthly 86, 659\u2013677.","journal-title":"Amer. Math. Monthly"},{"issue":"6","key":"162358_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1070\/RM1991v046n06ABEH002870","volume":"46","author":"V. Kanovei","year":"1991","unstructured":"Kanovei, V., 1991, Undecidable hypotheses in Edward Nelson's Internal Set Theory. Russian Math. Surveys 46,no. 6, 1\u201354.","journal-title":"Russian Math. Surveys"},{"issue":"2","key":"162358_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01061236","volume":"55","author":"V. Kanovei","year":"1995","unstructured":"Kanovei, V., and M. Reeken, 1995, Internal approach to external sets and universes, Part 1, Studia Logica 55,no. 2, 227\u2013235.","journal-title":"Studia Logica"},{"issue":"3","key":"162358_CR11","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01057803","volume":"55","author":"V. Kanovei","year":"1995","unstructured":"Kanovei, V., and M. Reeken, 1995, Internal approach to external sets and universes, Part 2, Studia Logica 55,no. 3, 347\u2013376.","journal-title":"Studia Logica"},{"issue":"3","key":"162358_CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00372770","volume":"56","author":"V. Kanovei","year":"1996","unstructured":"Kanovei, V., and M. Reeken, 1996, Internal approach to external sets and universes, Part 3, Studia Logica 56,no. 3, 293\u2013322.","journal-title":"Studia Logica"},{"issue":"2","key":"162358_CR13","first-page":"369","volume":"45","author":"V. Kanovei","year":"1997","unstructured":"Kanovei, V., and M. Reeken, 1997, Mathematics in a nonstandard world, Math. Japonica 45,no. 2, 369\u2013408, and no. 3, 555\u2013571.","journal-title":"Math. Japonica"},{"key":"162358_CR14","doi-asserted-by":"crossref","unstructured":"Kawa\u00cf, T., 1981, Nonstandard analysis by axiomatic methods, in: Southeast Asia Conference on Logic, Singapore (Studies in Logic and Foundations of Mathematics, 111, North Holland, 1983), 55\u201376.","DOI":"10.1016\/S0049-237X(08)70955-8"},{"key":"162358_CR15","unstructured":"Luxemburg, W. A. J., 1962, Non-standard analysis, lecture notes (Dept. Math. Cal. Inst. Tech.)."},{"key":"162358_CR16","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","volume":"83","author":"E. Nelson","year":"1977","unstructured":"Nelson, E., 1977, Internal set theory; a new approach to nonstandard analysis, Bull. Amer. Math. Soc. 83, 1165\u20131198.","journal-title":"Bull. Amer. Math. Soc."},{"key":"162358_CR17","first-page":"267","volume":"29","author":"Y. Peraire","year":"1992","unstructured":"Peraire, Y., 1992, Th\u00e9orie relative des ensembles internes, Osaka J. Math. 29, 267\u2013297.","journal-title":"Osaka J. Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005064032270.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005064032270\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005064032270.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:25:07Z","timestamp":1754630707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005064032270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["162358"],"URL":"https:\/\/doi.org\/10.1023\/a:1005064032270","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}