{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:59Z","timestamp":1740108179699,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"DFG","award":["KO 1737\/5-1"],"award-info":[{"award-number":["KO 1737\/5-1"]}]},{"DOI":"10.13039\/501100005416","name":"Research Council of Norway","doi-asserted-by":"crossref","award":["204762\/V30"],"award-info":[{"award-number":["204762\/V30"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s00153-017-0567-2","type":"journal-article","created":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T08:38:54Z","timestamp":1498034334000},"page":"699-711","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The strength of countable saturation"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0469-0788","authenticated-orcid":false,"given":"Benno","family":"van den Berg","sequence":"first","affiliation":[]},{"given":"Eyvind","family":"Briseid","sequence":"additional","affiliation":[]},{"given":"Pavol","family":"Safarik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"567_CR1","doi-asserted-by":"crossref","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation. In: Buss, S.R. (ed.) Handbook of Proof Theory, Volume 137 of Studies in Logic and the Foundations of Mathematics, pp. 337\u2013405. North-Holland, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"567_CR2","unstructured":"Awodey, S., Eliasson, J.: Ultrasheaves and double negation. Notre Dame J. Form. Log. 45(4), 235\u2013245 (2004) (electronic)"},{"issue":"7","key":"567_CR3","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1007\/s00153-004-0228-0","volume":"43","author":"J Eliasson","year":"2004","unstructured":"Eliasson, J.: Ultrapowers as sheaves on a category of ultrafilters. Arch. Math. Log. 43(7), 825\u2013843 (2004)","journal-title":"Arch. Math. Log."},{"key":"567_CR4","unstructured":"Escard\u00f3, M., Oliva, P.: The Herbrand functional interpretation of the double negation shift. J. Symb. Log. arXiv:1410.4353 (2015)"},{"key":"567_CR5","unstructured":"Geyer, C.J.: Radically elementary probability and statistics. Technical Report No.\u00a0657, School of Statistics, University of Minnesota. http:\/\/www.stat.umn.edu\/geyer\/nsa\/o.pdf (2007)"},{"issue":"4","key":"567_CR6","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.2307\/2274260","volume":"49","author":"CW Henson","year":"1984","unstructured":"Henson, C.W., Kaufmann, M., Keisler, H.J.: The strength of nonstandard methods in arithmetic. J. Symb. Log. 49(4), 1039\u20131058 (1984)","journal-title":"J. Symb. Log."},{"issue":"2","key":"567_CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S0022481200031248","volume":"51","author":"CW Henson","year":"1986","unstructured":"Henson, C.W., Keisler, H.J.: On the strength of nonstandard analysis. J. Symb. Log. 51(2), 377\u2013386 (1986)","journal-title":"J. Symb. Log."},{"key":"567_CR8","series-title":"Springer Monographs in Mathematics","volume-title":"Applied Proof Theory: Proof Interpretations and Their Use in Mathematics","author":"U Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics. Springer, Berlin (2008)"},{"key":"567_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882144","volume-title":"Radically Elementary Probability Theory, Volume 117 of Annals of Mathematics Studies","author":"E Nelson","year":"1987","unstructured":"Nelson, E.: Radically Elementary Probability Theory, Volume 117 of Annals of Mathematics Studies. Princeton University Press, Princeton (1987)"},{"issue":"2","key":"567_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0168-0072(88)90050-4","volume":"38","author":"E Nelson","year":"1988","unstructured":"Nelson, E.: The syntax of nonstandard analysis. Ann. Pure Appl. Log. 38(2), 123\u2013134 (1988)","journal-title":"Ann. Pure Appl. Log."},{"key":"567_CR11","doi-asserted-by":"crossref","unstructured":"Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. In: Proceedings of Symposium Pure Mathematics, Vol. 5, pp. 1\u201327. American Mathematical Society, Providence, RI (1962)","DOI":"10.1090\/pspum\/005\/0154801"},{"key":"567_CR12","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (eds.): Metamathematical investigation of intuitionistic arithmetic and analysis. Lecture Notes in Mathematics, Vol. 344. Springer, Berlin (1973)","DOI":"10.1007\/BFb0066739"},{"key":"567_CR13","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Vol. 2, volume 123 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam (1988)"},{"key":"567_CR14","unstructured":"van\u00a0den Berg, B., Briseid, E.: Weak systems for nonstandard arithmetic (2017) (in preparation)"},{"issue":"12","key":"567_CR15","doi-asserted-by":"crossref","first-page":"1962","DOI":"10.1016\/j.apal.2012.07.003","volume":"163","author":"B Berg van den","year":"2012","unstructured":"van den Berg, B., Briseid, E., Safarik, P.: A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Log. 163(12), 1962\u20131994 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"567_CR16","unstructured":"van\u00a0den Berg, B., Sanders, S.: Reverse mathematics and parameter-free transfer. arXiv:1409.6881 (2017)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0567-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0567-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0567-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T08:55:37Z","timestamp":1569488137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0567-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"references-count":16,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["567"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0567-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2017,6,21]]}}}