{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T11:56:05Z","timestamp":1697630165844},"reference-count":28,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3663,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2004,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the \u2208-language.<\/jats:p>","DOI":"10.2178\/jsl\/1080938835","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:28:45Z","timestamp":1109798925000},"page":"165-182","source":"Crossref","is-referenced-by-count":5,"title":["Standard sets in nonstandard set theory"],"prefix":"10.1017","volume":"69","author":[{"given":"Petr","family":"Andreev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karel","family":"Hrbacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200008100_ref028","first-page":"1591","volume":"64","author":"Suzuki","year":"1999","journal-title":"No elementary embedding from V into V is definable from parameters"},{"key":"S0022481200008100_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00039-2"},{"key":"S0022481200008100_ref002","first-page":"68","volume-title":"Vestnik Moskovskogo Universiteta, Ser. 1, Mat., Mech.","author":"Andreev","year":"1997"},{"key":"S0022481200008100_ref009","first-page":"89","article-title":"Relatively standard elements in E. Nelson's internal set theory","volume":"30","author":"Gordon","year":"1989","journal-title":"Sibirski Matematicheski Zhurnal"},{"key":"S0022481200008100_ref007","first-page":"315","volume":"67","author":"Nasso","year":"2002","journal-title":"An axiomatic presentation of the nonstandard methods in mathematics"},{"key":"S0022481200008100_ref011","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-98-1-1-19","article-title":"Axiomatic foundations for nonstandard analysis","volume":"98","author":"Hrbacek","year":"1978","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200008100_ref016","doi-asserted-by":"publisher","DOI":"10.1070\/RM1991v046n06ABEH002870"},{"key":"S0022481200008100_ref018","first-page":"555","article-title":"Mathematics in a nonstandard world","volume":"45","author":"Kanovei","year":"1997","journal-title":"Mathematica Japonica"},{"key":"S0022481200008100_ref014","unstructured":"Hrbacek K. , Fully relativized nonstandard set theory, in preparation."},{"key":"S0022481200008100_ref010","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/164","volume-title":"Nonstandard methods in commutative harmonic analysis","author":"Gordon","year":"1997"},{"key":"S0022481200008100_ref003","first-page":"1321","volume":"66","author":"Andreev","year":"2001","journal-title":"An axiomatics for nonstandard set theory, based on von Neumann-Bernays-G\u00f6del theory"},{"key":"S0022481200008100_ref006","volume-title":"Model theory","author":"Chang","year":"1990"},{"key":"S0022481200008100_ref013","volume-title":"Proceedings of the Special Session on Nonstandard Methods, AMS Annual Meeting in Baltimore 2003","author":"Hrbacek","year":"2004"},{"key":"S0022481200008100_ref025","first-page":"267","article-title":"Th\u00e9orie relative des ensembles int\u00e9rnes","volume":"29","author":"P\u00e9raire","year":"1992","journal-title":"Osaka Journal of Mathematcs"},{"key":"S0022481200008100_ref024","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1977-14398-X"},{"key":"S0022481200008100_ref023","first-page":"1645","volume":"64","author":"Murakami","year":"1999","journal-title":"Standardization principle of nonstandard universes"},{"key":"S0022481200008100_ref027","first-page":"109","volume-title":"Applications of model theory to algebra, analysis and probability","author":"Robinson","year":"1969"},{"key":"S0022481200008100_ref001","first-page":"803","article-title":"On definable standardness predicates in internal set theory","volume":"66","author":"Andreev","year":"1999","journal-title":"Matematicheskie Zametki"},{"key":"S0022481200008100_ref017","first-page":"227","article-title":"Internal approach to external sets and universes","volume":"55","author":"Kanovei","year":"1995","journal-title":"Stadia Logica"},{"key":"S0022481200008100_ref020","unstructured":"Kanovei V. and Reeken M. , Nonstandard analysis: Axiomatically, a book in preparation."},{"key":"S0022481200008100_ref015","volume-title":"Set theory","author":"Jech","year":"1978"},{"key":"S0022481200008100_ref022","first-page":"64","article-title":"On applications of double nonstandard enlargements to topology","volume":"30","author":"Molchanov","year":"1989","journal-title":"Sibirski Matematicheski Zhurnal"},{"key":"S0022481200008100_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050155"},{"key":"S0022481200008100_ref004","article-title":"Foundational aspects of \u201cnon\u201d standard mathematics","volume":"176","author":"Ballard","year":"1994","journal-title":"Contemporary Mathematics"},{"key":"S0022481200008100_ref005","doi-asserted-by":"crossref","first-page":"199","DOI":"10.4064\/fm-128-3-199-215","article-title":"A general theory of superinfinitesimals","volume":"123","author":"Benninghofen","year":"1987","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200008100_ref021","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90005-2"},{"key":"S0022481200008100_ref026","first-page":"301","article-title":"Une th\u00e9orie relative des ensembles int\u00e9rnes","volume":"308","author":"P\u00e9raire","year":"1989","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences. S\u00e9rie I. Math\u00e9matique"},{"key":"S0022481200008100_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.2\/0376347"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200008100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T21:28:31Z","timestamp":1557178111000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200008100\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["S0022481200008100"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1080938835","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}