{"entities":{"Q1812904":{"pageid":1823646,"ns":120,"title":"Item:Q1812904","lastrevid":73013649,"modified":"2026-04-14T09:23:21Z","type":"item","id":"Q1812904","labels":{"en":{"language":"en","value":"Some applications of positive formulas in descriptive set theory and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4641"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$D243F0BA-6FC6-481A-A8D1-7A6D0C59D849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aebff993f8948d8aa7c8a99b9f31bed378fa5037","datavalue":{"value":{"text":"Some applications of positive formulas in descriptive set theory and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812904$25BE5531-8D63-49B1-9616-D88D3BE88F0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63102dd26a6d545afb821040d409f6f52e1505dd","datavalue":{"value":"0760.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$C9875B38-57B8-4B5E-9AAD-1E35F57A3675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5514fe0cf633d04df728a491a7896a20bd1e69b","datavalue":{"value":"10.1016/0168-0072(90)90031-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$D1B304C3-D68C-4E05-9D50-6C73AC465419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573b52e4442f93a15a74b793457425a2c972a53c","datavalue":{"value":{"entity-type":"item","numeric-id":1812903,"id":"Q1812903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$4D7C7951-3766-435A-B4EC-683992EAA7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$0521174C-A696-4D51-AD3D-1FBCA9831C21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1812904$8E9F103D-0383-444D-9BEB-B3E46758A7E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef0831ae9b5149c7f6d8962b87055abbf11d347f","datavalue":{"value":"To put the main result of this paper in perspective let us recall two well-known theorems from descriptive set theory: (i) Suslin's Separation Theorem which says that disjoint analytic sets can be separated by a Borel set, and (ii) its effective version due to Kleene.   \\textit{A. Louveau} [C. R. Acad. Sci. Paris, S\u00e9r. A 285, 601-604 (1977; Zbl 0363.04008)] exhibited a connection between these results: if \\(A\\) and \\(B\\) are effectively analytic subsets of \\(^ \\omega\\omega\\) separated by a boldface \\(\\Pi_ \\alpha^ 0\\)-set then they can be separated by an effectively boldface \\(\\Pi_ \\alpha^ 0\\)-set.   The author proves a similar (but stronger) result cast in terms of admissible sets. Very loosely speaking: if \\({\\mathcal A}\\) is a countable admissible set, \\(A\\) and \\(B\\) are analytic sets defined from \\({\\mathcal A}\\), and \\(C\\) is a boldface \\(\\Pi^ 0_ \\alpha\\)-set that separates \\(A\\) and \\(B\\) (with \\(\\alpha\\in{\\mathcal A}\\), then one can find a boldface \\(\\Pi_ \\alpha^ 0\\)-set \\(D\\) defined from \\({\\mathcal A}\\) that separates \\(A\\) and \\(B\\).   The rest of the paper is devoted to some applications of the main result. A notable corollary is an interpolation theorem for the language \\(L_{\\omega_ 1\\omega}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$24B8C665-3660-48B5-99A2-22B30ADB9FD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$674076E0-8FBB-40F3-A424-25E08BA7BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$0EFA084A-4472-4EAC-B3BA-372FC991DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$3F430FED-BE50-445C-9E67-13F6F1F91BEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"638dd47a8e2069318a762c8b481ebc9c640222dd","datavalue":{"value":"4641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812904$820A6D7B-91FD-4B17-AB82-DB3BD9A558C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e444389953e8abe115ead038dd946f9ac6be9547","datavalue":{"value":"separation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$5790C65C-35AB-4C06-9CA3-D984DDCBCB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469631f72b1ba559d11af9c7ce9e7ddc9be107e0","datavalue":{"value":"positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$32C30003-8455-4FBF-A9B2-C449C07C1F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cd522e6589a4836ae9f596063dd4c498054372","datavalue":{"value":"effective descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$0BE1E925-B79A-49B8-9F2D-E4C8055C7FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c41f58f4c6a043653654345bd5fd2140de2222","datavalue":{"value":"admissible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$6153C318-0179-43B5-921A-B9820BD34A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3192df2a79c607156793bdbc30a42940a2e1f728","datavalue":{"value":"analytic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$DC7CB3B8-533C-4182-868D-77834217E517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812904$4FFA18E4-DD16-48B5-B822-1E51B870369E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2ca47c386f17a20a7c7f0b6369d6142d2ab80a79","datavalue":{"value":{"entity-type":"item","numeric-id":914663,"id":"Q914663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$303D5F87-6567-40E9-9388-57A9110817BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$A4EEF2DD-C363-48EF-B687-49A14D2ED823","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb240c2d96b404c86cd73082f8ce049836f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5618341,"id":"Q5618341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$81B2A6DA-C4E8-45CD-BCFC-9B777F643D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$0BCBEB89-0BEC-4791-B6C1-4A7FBBC33F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$7500327E-3FE0-4FA4-8765-BB6FC770488C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$77079013-6BE8-416A-95EA-F2087378B1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46736230d88d05e5b8f61438842f638bb8c737f6","datavalue":{"value":{"entity-type":"item","numeric-id":5509674,"id":"Q5509674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$72287E72-1E02-4511-AF2F-73ACE907EA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f961838d67808db1ee040d109e7276441b0838","datavalue":{"value":{"entity-type":"item","numeric-id":4137177,"id":"Q4137177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$ED5A8B55-2220-4685-9EB0-4E58442840CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ec80b08f12079c38208fc0b14f0315bc3f75dd","datavalue":{"value":{"entity-type":"item","numeric-id":3869352,"id":"Q3869352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$3D1910F9-D00D-4D0A-8047-125FC28373A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f557bcf8384240f50a3ed1a9f4f4234fbadee70","datavalue":{"value":{"entity-type":"item","numeric-id":5904770,"id":"Q5904770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$5F30F221-F7D7-47D3-ADEC-E2115D4C4287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fe67a82ff6c01ccf6a8b2657033f008a304e40","datavalue":{"value":{"entity-type":"item","numeric-id":5343323,"id":"Q5343323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$163C11E7-3DF4-4C90-8D04-5D8EF1C86596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$35ED6C4C-C306-44AD-B5DB-B0728B93AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29e1d81ad88274aac99e0e20d074fc60ad0b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":4067103,"id":"Q4067103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812904$DA16FBD7-A9E7-4A95-BECC-3D002EFD2100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191f51a808cdc0383b6c128fa1b6baabd477fc4d","datavalue":{"value":{"entity-type":"item","numeric-id":3613302,"id":"Q3613302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcc22d1a1af8092864d9456413ec1fc9da7d7e6","datavalue":{"value":{"amount":"+0.72725797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$AE6257DC-BF1E-4DAA-99D3-9C6FF21B0A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc839eb787132f8b5e4f972dbd819fbb5f632bb5","datavalue":{"value":{"entity-type":"item","numeric-id":720760,"id":"Q720760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5435fb693247a769717438906ddbe23eff572c","datavalue":{"value":{"amount":"+0.72558933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$B86DA523-D4F7-4056-8609-CC9AB79BCDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d19de81d920f07c19726aabf10bbdd2424a2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5428387,"id":"Q5428387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851eb376532c0e8f1c6f5d0c40931dc08af8f7b4","datavalue":{"value":{"amount":"+0.71458566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$79BAD594-71AF-4489-BCDE-8A64319FABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af124463abcff4ae1e42a390e43143f77310f86e","datavalue":{"value":{"entity-type":"item","numeric-id":5179342,"id":"Q5179342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3615ea8cd21059a98d3c0f8d04428ed7ad5a96","datavalue":{"value":{"amount":"+0.7086616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$E94E3F07-524F-4743-BFB1-2B2F9B1BB45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bc4d6eee85fe1b69500cb571158e8b781cfc61","datavalue":{"value":{"entity-type":"item","numeric-id":1061122,"id":"Q1061122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6794f171399fa7223b5b8bce480c3e04395bde","datavalue":{"value":{"amount":"+0.6924472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$C5753B1E-7927-4A4E-87D8-F38BD1BFE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673cae51fdc6ff88d74e3140cd2520cbaa15e6d5","datavalue":{"value":{"entity-type":"item","numeric-id":5222522,"id":"Q5222522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad28db73dc252c487d729ae3737e178c6559914","datavalue":{"value":{"amount":"+0.6901152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$F33B1FF6-699B-422B-84C1-E47AA97F1D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd150d643daa307536792584bc934afd6af56d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3698785,"id":"Q3698785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9ae7651fd9ce5e8bae5d9bc427be13d7ca3acb","datavalue":{"value":{"amount":"+0.68894386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$3E491EE5-428F-4654-BA1D-9412C2EC426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20382fde7dd5db77e8d01336a5e1e37c59ce947","datavalue":{"value":{"entity-type":"item","numeric-id":4882397,"id":"Q4882397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664a33d18290d1558b8b4733184a7ba6803e6c28","datavalue":{"value":{"amount":"+0.6803711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$41239B4D-59A6-4111-8452-8AF35897F806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4be1b5d4de599c41d4ebc668a54c8f5e53b12d4","datavalue":{"value":{"entity-type":"item","numeric-id":5919884,"id":"Q5919884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d4d157f1cf6e3ef6b0a987db87220a4ebf1009","datavalue":{"value":{"amount":"+0.6769212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$E2CA58F1-BA76-4DF3-BA6F-836B4399B77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7ed28047afbb55f9a52cbe10f7efa9e47a2a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2586330,"id":"Q2586330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cf080cd50336555f3bbfabd2e5ef18f1bfb98d","datavalue":{"value":{"amount":"+0.6733984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812904$3616C4EB-D0A4-4C87-A971-03CFE45DB390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some applications of positive formulas in descriptive set theory and logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_applications_of_positive_formulas_in_descriptive_set_theory_and_logic"}}}}}