{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:41:44Z","timestamp":1760146904234,"version":"build-2065373602"},"reference-count":31,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T00:00:00Z","timestamp":1735430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Russian Science Foundation","award":["24-44-00099"],"award-info":[{"award-number":["24-44-00099"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>For every n\u22651, generic models of ZFC will be presented for either of the following two sentences: 1. There exists a linear \u03a3n+21 set not equal to the projection of any uniform planar \u03a0n+21 set. 2. There exists a linear \u0394n+21 set not equal to the projection of any uniform planar \u03a0n+11 set. Ensuing consistency and independence corollaries are discussed.<\/jats:p>","DOI":"10.3390\/axioms14010013","type":"journal-article","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T07:00:37Z","timestamp":1735628437000},"page":"13","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Uniform Projection Problem in Descriptive Set Theory"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7415-9784","authenticated-orcid":false,"given":"Vladimir","family":"Kanovei","sequence":"first","affiliation":[{"name":"Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow 127051, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3739-9161","authenticated-orcid":false,"given":"Vassily","family":"Lyubetsky","sequence":"additional","affiliation":[{"name":"Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow 127051, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2024,12,29]]},"reference":[{"key":"ref_1","unstructured":"Lusin, N. (1930). Le\u00e7ons sur les Ensembles Analytiques et leurs Applications, Gauthier-Villars."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Kechris, A.S. (1995). Classical Descriptive Set Theory, Springer.","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"ref_3","first-page":"XII+637","article-title":"Descriptive Set Theory","volume":"Volume 100","author":"Moschovakis","year":"1980","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-10-1-1-95","article-title":"Sur les ensembles analytiques","volume":"10","author":"Lusin","year":"1927","journal-title":"Fund. Math."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"559","DOI":"10.4064\/fm-25-1-559-560","article-title":"Choix effectif d\u2019un point dans un compl\u00e9mentaire analytique arbitraire, donn\u00e9 par un crible","volume":"25","author":"Lusin","year":"1935","journal-title":"Fundam. Math."},{"key":"ref_6","first-page":"287","article-title":"L\u2019uniformisation des compl\u00e9mentaires analytiques","volume":"13","year":"1937","journal-title":"Proc. Imp. Acad. Tokyo"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. (1940). The Consistency of the Continuum Hypothesis, Princeton University Press. Annals of Mathematics Studies, no. 3.","DOI":"10.1515\/9781400881635"},{"key":"ref_8","unstructured":"Cohen, P.J. (1966). Set Theory and the Continuum Hypothesis, W.A. Benjamin, Inc."},{"key":"ref_9","unstructured":"Jech, T. (2003). Set Theory, Springer. [The third millennium revised and expanded ed.]."},{"key":"ref_10","unstructured":"Kunen, K. (2011). Set Theory, Studies in Logic, College Publications."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/S0049-237X(08)71934-7","article-title":"Definable sets of minimal degree","volume":"Volume 59","year":"1970","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1991-0946221-X","article-title":"Generalized iteration of forcing","volume":"324","author":"Groszek","year":"1991","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_13","unstructured":"Harrington, L. (2024, December 25). The Constructible Reals Can Be Anything. Preprint Dated May 1974 with Several Addenda Dated up to October 1975: [0.1ex] (A1) Models Where Separation Principles Fail, May 74; [0.1ex] (A2) Separation Without Reduction, April 75; [0.1ex] (A3) The Constructible Reals Can Be (Almost) Anything, Part II, May 75. [0.1ex]. Available online: http:\/\/iitp.ru\/upload\/userpage\/247\/74harr.pdf."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Kanovei, V., and Lyubetsky, V. (2024). Jensen \u0394n1 Reals by Means of ZFC and Second-Order Peano Arithmetic. Axioms, 13.","DOI":"10.3390\/axioms13020096"},{"key":"ref_15","first-page":"294","article-title":"Independence of the axiom of dependent choices from the countable axiom of choice","volume":"31","author":"Jensen","year":"1966","journal-title":"J. Symb. Log."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Felgner, U. (1971). Models of ZF-Set Theory, Springer.","DOI":"10.1007\/BFb0061160"},{"key":"ref_17","first-page":"657","article-title":"A minimal model for \u00acCH: Iteration of Jensen\u2019s reals","volume":"281","author":"Abraham","year":"1984","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_18","unstructured":"Gitman, V. (2024, November 15). Parameter-Free Schemes in Second-Order Arithmetic. Preprint. Available online: https:\/\/victoriagitman.github.io\/files\/parameterfreeSchemes.pdf."},{"key":"ref_19","unstructured":"Kanovei, V., and Lyubetsky, V. (2024). On the significance of parameters and the projective level in the Choice and Comprehension axioms. arXiv."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"551","DOI":"10.2307\/2586484","article-title":"On non-wellfounded iterations of the perfect set forcing","volume":"64","author":"Kanovei","year":"1999","journal-title":"J. Symb. Log."},{"key":"ref_21","unstructured":"Bar-Hillel, Y., Poznanski, E.I.J., Rabin, M.O., and Robinson, A. (1962). The problem of predicativity. Essays Found. Math., Dedicat. to A. A. Fraenkel on His 70th Anniv., North-Holland."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"868","DOI":"10.4153\/S0008439522000753","article-title":"Sequential and distributive forcings without choice","volume":"66","author":"Karagila","year":"2023","journal-title":"Can. Math. Bull."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(77)90004-3","article-title":"Long projective wellorderings","volume":"12","author":"Harrington","year":"1977","journal-title":"Ann. Math. Log."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/malq.201500020","article-title":"A Groszek-Laver pair of undistinguishable E0 classes","volume":"63","author":"Golshani","year":"2017","journal-title":"Math. Log. Q."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF01896284","article-title":"Finite groups of OD-conjugates","volume":"18","author":"Groszek","year":"1987","journal-title":"Period. Math. Hung."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1017\/jsl.2018.77","article-title":"Definable minimal collapse functions at arbitrary projective levels","volume":"84","author":"Kanovei","year":"2019","journal-title":"J. Symb. Log."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0001-8708(85)90005-2","article-title":"Minimal model of \u201c\u21351L is countable\u201d and definable reals","volume":"55","author":"Abraham","year":"1985","journal-title":"Adv. Math."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"8651","DOI":"10.1090\/tran\/8710","article-title":"On the \u2018definability of definable\u2019 problem of Alfred Tarski. II","volume":"375","author":"Kanovei","year":"2022","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"107","DOI":"10.2307\/2267331","article-title":"A problem concerning the notion of definability","volume":"13","author":"Tarski","year":"1948","journal-title":"J. Symb. Log."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Friedman, S.D. (2000). Fine Structure and Class Forcing, de Gruyter.","DOI":"10.1515\/9783110809114"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-1-4020-5764-9_9","article-title":"Constructibility and class forcing","volume":"Volume 3","author":"Friedman","year":"2010","journal-title":"Handbook of Set Theorys"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/1\/13\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T16:56:03Z","timestamp":1760115363000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/1\/13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,29]]},"references-count":31,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,1]]}},"alternative-id":["axioms14010013"],"URL":"https:\/\/doi.org\/10.3390\/axioms14010013","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2024,12,29]]}}}