{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:20:54Z","timestamp":1649031654326},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"unspecified","delay-in-days":61,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2018,3]]},"abstract":"Abstract<\/jats:title>We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF<\/jats:bold>-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.<\/jats:p>","DOI":"10.1017\/jsl.2017.48","type":"journal-article","created":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T04:04:44Z","timestamp":1525147484000},"page":"385-391","source":"Crossref","is-referenced-by-count":4,"title":["MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER"],"prefix":"10.1017","volume":"83","author":[{"given":"FREDERIK S.","family":"HERZBERG","sequence":"first","affiliation":[]},{"given":"VLADIMIR","family":"KANOVEI","sequence":"additional","affiliation":[]},{"given":"MIKHAIL","family":"KATZ","sequence":"additional","affiliation":[]},{"given":"VASSILY","family":"LYUBETSKY","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,5,1]]},"reference":[{"key":"S0022481217000482_ref15","author":"Keisler","journal-title":"Foundations of Infinitesimal Calculus. Instructor\u2019s Manual"},{"key":"S0022481217000482_ref17","first-page":"18","volume-title":"Applications of Model Theory to Algebra, Analysis, and Probability (International Symposium, Pasadena, California, 1967)","author":"Luxemburg","year":"1969"},{"key":"S0022481217000482_ref21","doi-asserted-by":"publisher","DOI":"10.14712\/1213-7243.2015.138"},{"key":"S0022481217000482_ref24","volume-title":"Introduction to the Theory of Infinitesimals","volume":"72","author":"Stroyan","year":"1976"},{"key":"S0022481217000482_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8248-3_8"},{"key":"S0022481217000482_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33149-7"},{"key":"S0022481217000482_ref8","volume-title":"The Axiom of Choice","author":"Jech","year":"1973"},{"key":"S0022481217000482_ref3","volume-title":"Applied Nonstandard Analysis","author":"Davis","year":"1977"},{"key":"S0022481217000482_ref2","volume-title":"Model Theory","volume":"73","author":"Chang","year":"1992"},{"key":"S0022481217000482_ref4","doi-asserted-by":"crossref","first-page":"325","DOI":"10.4064\/fm-56-3-325-345","article-title":"Some applications of the notions of forcing and generic sets","volume":"56","author":"Feferman","year":"1965","journal-title":"Fundamental Mathematics,"},{"key":"S0022481217000482_ref10","doi-asserted-by":"publisher","DOI":"10.1070\/RM2007v062n01ABEH004381"},{"key":"S0022481217000482_ref5","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710022"},{"key":"S0022481217000482_ref7","volume-title":"An Introduction to Nonstandard Real Analysis","volume":"118","author":"Hurd","year":"1985"},{"key":"S0022481217000482_ref9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.14321\/realanalexch.42.2.0385","article-title":"A positive function with vanishing Lebesgue integral in Zermelo\u2013Fraenkel set theory","volume":"42","author":"Kanovei","year":"2017","journal-title":"Real Analysis Exchange"},{"key":"S0022481217000482_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08998-9"},{"key":"S0022481217000482_ref13","unstructured":"[13] Kanovei V. and Uspensky V. A. , On the uniqueness of nonstandard extensions. Moscow University Mathematics Bulletin, vol. 61 (2006), no. 5, pp. 1\u20138."},{"key":"S0022481217000482_ref16","volume-title":"Set Theory, An Introduction to Independence Proofs","author":"Kunen","year":"1980"},{"key":"S0022481217000482_ref18","doi-asserted-by":"publisher","DOI":"10.2307\/3038221"},{"key":"S0022481217000482_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-211-49905-4_2"},{"key":"S0022481217000482_ref20","unstructured":"[20] Pincus D. and Solovay R. M. , Definability of measures and ultrafilters, this Journal, vol. 42, (1977), pp. 179\u2013190."},{"key":"S0022481217000482_ref22","first-page":"109","volume-title":"Applications of Model Theory to Algebra, Analysis, and Probability, (International Symposium, Pasadena, California, 1967)","author":"Robinson","year":"1969"},{"key":"S0022481217000482_ref23","doi-asserted-by":"publisher","DOI":"10.2307\/1970696"},{"key":"S0022481217000482_ref12","unstructured":"[12] Kanovei V. and Shelah S. , A definable nonstandard model of the reals, this Journal, vol. 69 (2004), no. 1, pp. 159\u2013164."},{"key":"S0022481217000482_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90010-X"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481217000482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T14:56:37Z","timestamp":1555340197000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481217000482\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["S0022481217000482"],"URL":"https:\/\/doi.org\/10.1017\/jsl.2017.48","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3]]}}}