{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:31:30Z","timestamp":1774416690661,"version":"3.50.1"},"reference-count":23,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2013,4,16]],"date-time":"2013-04-16T00:00:00Z","timestamp":1366070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2013,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove several dichotomy theorems which extend some known results on \u03c3\u2010bounded and \u03c3\u2010compact pointsets. In particular we show that, given a finite number of <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Delta ^{1}_{1}$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-1.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content> equivalence relations <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\mathrel {\\mathsf {F}}_1,\\dots ,\\mathrel {\\mathsf {F}}_n$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-2.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content>, any <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Sigma ^{1}_{1}$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-3.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content> set <jats:italic>A<\/jats:italic> of the Baire space either is covered by compact <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Delta ^{1}_{1}$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-4.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content> sets and lightface <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Delta ^{1}_{1}$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-5.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content> equivalence classes of the relations <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\mathrel {\\mathsf {F}}_i$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-6.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content>, or <jats:italic>A<\/jats:italic> contains a superperfect subset which is pairwise <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\mathrel {\\mathsf {F}}_i$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-7.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content>\u2010inequivalent for all <jats:italic>i<\/jats:italic> = 1, \u2026, <jats:italic>n<\/jats:italic>. Further generalizations to <jats:styled-content>\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Sigma ^{1}_{2}$\\end{document}<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-ueqn-8.gif\" xlink:title=\"equation image\"\/><\/jats:styled-content> sets <jats:italic>A<\/jats:italic> are obtained.<\/jats:p>","DOI":"10.1002\/malq.201200001","type":"journal-article","created":{"date-parts":[[2013,4,16]],"date-time":"2013-04-16T07:36:58Z","timestamp":1366097818000},"page":"147-166","source":"Crossref","is-referenced-by-count":3,"title":["On effective \u03c3\u2010boundedness and \u03c3\u2010compactness"],"prefix":"10.1002","volume":"59","author":[{"given":"Vladimir","family":"Kanovei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vassily","family":"Lyubetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2013,4,16]]},"reference":[{"key":"e_1_2_14_2_1","article-title":"Borel liftings of Borel sets: some decidable and undecidable statements","volume":"876","author":"Debs G.","year":"2007","journal-title":"Mem. Am. Math. Soc."},{"key":"e_1_2_14_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/421023"},{"key":"e_1_2_14_4_1","doi-asserted-by":"crossref","first-page":"78","DOI":"10.4064\/fm-12-1-78-109","article-title":"Relativ perfekte Teile von Punktmengen und Mengen (A)","volume":"12","author":"Hurewicz W.","year":"1928","journal-title":"Fundam. Math."},{"key":"e_1_2_14_5_1","doi-asserted-by":"publisher","DOI":"10.1070\/SM1985v052n02ABEH002902"},{"key":"e_1_2_14_6_1","doi-asserted-by":"publisher","DOI":"10.1070\/RM2003v058n05ABEH000666"},{"key":"e_1_2_14_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/ulect\/044"},{"key":"e_1_2_14_8_1","unstructured":"V.Kanovei M.Sabok andJ.Zapletal Canonical Ramsey theory on Polish spaces Cambridge Tracts in Mathematics. To appear."},{"key":"e_1_2_14_9_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1977-0450070-1"},{"key":"e_1_2_14_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"e_1_2_14_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/1998008"},{"key":"e_1_2_14_12_1","first-page":"651","article-title":"Caract\u00e9risation de la classe de Baire des bor\u00e9liens par des jeux ferm\u00e9s","volume":"300","author":"Louveau A.","year":"1985","journal-title":"C. R. Acad. Sci., Paris, S\u00e9r. I"},{"key":"e_1_2_14_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1987-0911079-0"},{"key":"e_1_2_14_14_1","unstructured":"D. A.Martin \\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\Pi ^1_2$\\end{document}monotone inductive definitions Cabal Seminar 77\u201379 Proceedings of the Caltech\u2010UCLA Logic Seminar 197779. Edited by Alexander S. Kechris Donald A. Martin and Yiannis N. Moschovakis Lecture Notes in Mathematics Vol. 839 (Springer 1981) pp.215\u2013233."},{"key":"e_1_2_14_15_1","volume-title":"Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics, Vol. 100","author":"Moschovakis Y. N.","year":"1980"},{"key":"e_1_2_14_16_1","first-page":"85","article-title":"Raymond, Approximation des sous\u2010ensembles analytiques par l'interior","volume":"281","author":"Saint J.","year":"1975","journal-title":"C. R. Acad. Sci. Paris"},{"key":"e_1_2_14_17_1","first-page":"389","article-title":"Raymond","volume":"104","author":"Saint J.","year":"1976","journal-title":"Boreliens a coupes K\u03c3, Bull. Soc. Math. Fr."},{"key":"e_1_2_14_18_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274278"},{"key":"e_1_2_14_19_1","volume-title":"Mathematical logic, Reprint of the 1967 original","author":"Shoenfield J. R.","year":"2001"},{"key":"e_1_2_14_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(80)90002-9"},{"key":"e_1_2_14_21_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586752"},{"key":"e_1_2_14_22_1","first-page":"527","article-title":"Suites transfinies d'ensembles boreliens","volume":"288","author":"Stern J.","year":"1979","journal-title":"C. R. Acad. Sci., Paris, S\u00e9r. A"},{"key":"e_1_2_14_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2007070"},{"key":"e_1_2_14_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542732"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201200001","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201200001","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201200001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T07:07:45Z","timestamp":1698649665000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201200001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,16]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["10.1002\/malq.201200001"],"URL":"https:\/\/doi.org\/10.1002\/malq.201200001","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,16]]}}}