{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T09:47:12Z","timestamp":1782640032900,"version":"3.54.5"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"publisher","award":["24-44-00099"],"award-info":[{"award-number":["24-44-00099"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s11225-024-10108-2","type":"journal-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T09:02:23Z","timestamp":1713949343000},"page":"109-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7415-9784","authenticated-orcid":false,"given":"Vladimir","family":"Kanovei","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3739-9161","authenticated-orcid":false,"given":"Vassily","family":"Lyubetsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,4,24]]},"reference":[{"key":"10108_CR1","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0003-4843(74)90001-1","volume":"6","author":"KR Apt","year":"1974","unstructured":"Apt, K. R., and W. Marek, Second order arithmetic and related topics, Annals of Mathematical Logic 6: 177\u2013229, 1974. https:\/\/doi.org\/10.1016\/0003-4843(74)90001-1","journal-title":"Annals of Mathematical Logic"},{"key":"10108_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0003-4843(79)90010-X","volume":"17","author":"JE Baumgartner","year":"1979","unstructured":"Baumgartner, J. E., and R. Laver, Iterated perfect-set forcing, Annals of Mathematical Logic 17:271\u2013288, 1979. https:\/\/doi.org\/10.1016\/0003-4843(79)90010-X","journal-title":"Annals of Mathematical Logic"},{"key":"10108_CR3","doi-asserted-by":"crossref","unstructured":"Corrada, M., Parameters in theories of classes, in A.I. Arruda, R. Chuaqui, and N.C.A. da Costa, (eds.), Mathematical Logic in Latin America, Proceedings of Symposium, Santiago 1978, vol. 99 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, New York, Oxford, 1980, pp. 121\u2013132.","DOI":"10.1016\/S0049-237X(09)70483-5"},{"issue":"3","key":"10108_CR4","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0001-8708(81)90021-9","volume":"41","author":"H Friedman","year":"1981","unstructured":"Friedman, H., On the necessary use of abstract set theory, Advances in Mathematics 41(3): 209\u2013280, 1981. https:\/\/doi.org\/10.1016\/0001-8708(81)90021-9","journal-title":"Advances in Mathematics"},{"key":"10108_CR5","unstructured":"Friedman, S.-D., and V. Gitman, Jensen forcing for an inaccessible cardinal and a model of Kelley-Morse satisfying CC but not $$\\text{DC}_\\omega $$. Submitted. An extended abstract available at https:\/\/victoriagitman.github.io\/research\/2022\/08\/21\/a-version-of-Jensens-forcing-for-an-inaccessible-cardinal.html, 2022."},{"issue":"1","key":"10108_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0219061318500137","volume":"19","author":"S-D Friedman","year":"2019","unstructured":"Friedman, S.-D., V. Gitman, and V. Kanovei, A model of second-order arithmetic satisfying AC but not DC, Journal of Mathematical Logic 19(1): 1\u201339, 2019. https:\/\/doi.org\/10.1142\/S0219061318500137","journal-title":"Journal of Mathematical Logic"},{"key":"10108_CR7","doi-asserted-by":"publisher","unstructured":"Frittaion, E., A note on fragments of uniform reflection in second order arithmetic, The Bulletin of Symbolic Logic, 1\u201316, 2022. https:\/\/doi.org\/10.1017\/bsl.2022.23","DOI":"10.1017\/bsl.2022.23"},{"key":"10108_CR8","unstructured":"Gitman, V., Jensen\u2019s forcing at an inaccessible. A talk at the 16th International Luminy Workshop in Set Theory, CIRM, September 14, 2021. Abstract and slides available at https:\/\/victoriagitman.github.io\/talks\/2021\/09\/14\/jensen-forcing-at-an-inaccessible.html, 2021."},{"issue":"1","key":"10108_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0168-0072(88)90044-9","volume":"39","author":"MJ Groszek","year":"1988","unstructured":"Groszek, M. J., Applications of iterated perfect set forcing, Annals of Pure and Applied Logic 39(1): 19\u201353, 1988. https:\/\/doi.org\/10.1016\/0168-0072(88)90044-9","journal-title":"Annals of Pure and Applied Logic"},{"key":"10108_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.4064\/fm-93-2-131-144","volume":"93","author":"W Guzicki","year":"1976","unstructured":"Guzicki, W., On weaker forms of choice in second order arithmetic, Fundamenta Mathematicae 93: 131\u2013144, 1976. https:\/\/doi.org\/10.4064\/fm-93-2-131-144","journal-title":"Fundamenta Mathematicae"},{"issue":"1","key":"10108_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4064\/fm-154-1-1-35","volume":"154","author":"V Kanovei","year":"1997","unstructured":"Kanovei, V., Non-Glimm-Effros equivalence relations at second projective level, Fundamenta Mathematicae 154(1): 1\u201335, 1997. https:\/\/doi.org\/10.4064\/fm-154-1-1-35","journal-title":"Fundamenta Mathematicae"},{"issue":"2","key":"10108_CR12","doi-asserted-by":"publisher","first-page":"551","DOI":"10.2307\/2586484","volume":"64","author":"V Kanovei","year":"1999","unstructured":"Kanovei, V., On non-wellfounded iterations of the perfect set forcing, The Journal of Symbolic Logic 64(2): 551\u2013574, 1999. https:\/\/doi.org\/10.2307\/2586484","journal-title":"The Journal of Symbolic Logic"},{"key":"10108_CR13","doi-asserted-by":"publisher","unstructured":"Kanovei, V., and V. Lyubetsky, On the significance of parameters in the choice and collection schemata in the 2nd order peano arithmetic, Mathematics 11(3), 2023. https:\/\/doi.org\/10.3390\/math11030726","DOI":"10.3390\/math11030726"},{"issue":"1","key":"10108_CR14","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1017\/jsl.2018.77","volume":"84","author":"V Kanovei","year":"2019","unstructured":"Kanovei, V., and V. Lyubetsky, Definable minimal collapse functions at arbitrary projective levels, The Journal of Symbolic Logic 84(1): 266\u2013289, 2019. https:\/\/doi.org\/10.1017\/jsl.2018.77","journal-title":"The Journal of Symbolic Logic"},{"key":"10108_CR15","doi-asserted-by":"publisher","unstructured":"Kanovei, V., and V. Lyubetsky, On the $$\\Delta ^1_n$$ problem of Harvey Friedman, Mathematics 8(9), 2020. https:\/\/doi.org\/10.3390\/math8091477","DOI":"10.3390\/math8091477"},{"issue":"12","key":"10108_CR16","doi-asserted-by":"publisher","first-page":"8651","DOI":"10.1090\/tran\/8710","volume":"375","author":"V Kanovei","year":"2022","unstructured":"Kanovei, V., and V. Lyubetsky, On the definability of definable problem of Alfred Tarski, II, Transactions of the American Mathematical Society 375(12): 8651\u20138686, 2022. https:\/\/doi.org\/10.1090\/tran\/8710","journal-title":"Transactions of the American Mathematical Society"},{"key":"10108_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0003-4843(80)90021-2","volume":"19","author":"A Kanamori","year":"1980","unstructured":"Kanamori, A., Perfect-set forcing for uncountable cardinals, Annals of Mathematical Logic 19: 97\u2013114, 1980. https:\/\/doi.org\/10.1016\/0003-4843(80)90021-2","journal-title":"Annals of Mathematical Logic"},{"key":"10108_CR18","doi-asserted-by":"crossref","unstructured":"Kreisel, G., A survey of proof theory, The Journal of Symbolic Logic 33: 321\u2013388, 1968. https:\/\/www.jstor.org\/stable\/2270324","DOI":"10.2307\/2270324"},{"key":"10108_CR19","unstructured":"Kunen, K., Set Theory, vol. 34 of Studies in Logic: Mathematical Logic and Foundations, College Publications, London 2011."},{"key":"10108_CR20","doi-asserted-by":"publisher","unstructured":"Levy, A., Definability in axiomatic set theory II in Y. Bar-Hillel, (ed.), Mathematical Logic and Foundations of Set Theory. Proceedings of an International Colloquium, Jerusalem 1968, North-Holland, Amsterdam-London, 1970, pp. 129\u2013145. https:\/\/doi.org\/10.1016\/S0049-237X(08)71935-9","DOI":"10.1016\/S0049-237X(08)71935-9"},{"key":"10108_CR21","doi-asserted-by":"crossref","unstructured":"Levy, A., Parameters in comprehension axiom schemes of set theory, in L. Henkin, (ed.), Proceedings of the Tarski Symposium, International Symposium to Honor Alfred Tarski, vol. 25 of Proceedings of Symposia in Pure Mathematics, American Mathematical Society, 1974, pp. 309\u2013324.","DOI":"10.1090\/pspum\/025\/0373891"},{"key":"10108_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02025889","volume":"10","author":"ARD Mathias","year":"1979","unstructured":"Mathias, A. R. D., Surrealist landscape with figures (a survey of recent results in set theory). Periodica Mathematica Hungarica 10: 109\u2013175, 1979. https:\/\/doi.org\/10.1007\/BF02025889","journal-title":"Periodica Mathematica Hungarica"},{"key":"10108_CR23","unstructured":"Schindler, R., and P. Schlicht, ZFC without parameters (A note on a question of Kai Wehmeier). https:\/\/ivv5hpp.uni-muenster.de\/u\/rds\/ZFC_without_parameters.pdf. Preprint. Accessed: 2022-09-06"},{"issue":"4","key":"10108_CR24","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10992-014-9327-5","volume":"44","author":"T Schindler","year":"2015","unstructured":"Schindler, T., A disquotational theory of truth as strong as $$Z_2^-$$, Journal of Philosophical Logic 44(4): 395\u2013410, 2015. https:\/\/doi.org\/10.1007\/s10992-014-9327-5","journal-title":"Journal of Philosophical Logic"},{"key":"10108_CR25","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2000376","volume":"296","author":"JH Schmerl","year":"1986","unstructured":"Schmerl, J. H., Peano arithmetic and hyper-Ramsey logic, Transactions of the American Mathematical Society 296: 481\u2013505, 1986. https:\/\/doi.org\/10.2307\/2000376","journal-title":"Transactions of the American Mathematical Society"},{"key":"10108_CR26","doi-asserted-by":"crossref","unstructured":"Simpson, S. G., Subsystems of Second Order Arithmetic, 2nd edn., Cambridge University Press, New York, 2009.","DOI":"10.1017\/CBO9780511581007"},{"issue":"2","key":"10108_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1970696","volume":"92","author":"RM Solovay","year":"1970","unstructured":"Solovay, R. M., A model of set-theory in which every set of reals is Lebesgue measurable, Annals of Mathematics 92(2): 1\u201356, 1970. https:\/\/doi.org\/10.2307\/1970696","journal-title":"Annals of Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10108-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10108-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10108-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T13:45:12Z","timestamp":1738331112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10108-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,24]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["10108"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10108-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,24]]},"assertion":[{"value":"14 October 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}