{"entities":{"Q5946084":{"pageid":8122886,"ns":120,"title":"Item:Q5946084","lastrevid":102086555,"modified":"2026-06-06T03:27:16Z","type":"item","id":"Q5946084","labels":{"en":{"language":"en","value":"Topics in invariant descriptive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658245"}},"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":"Q5946084$AFEB2E93-8092-48BE-B052-72E579D0F4AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0502181e88b4b16089f08b847c45b2c223d7d347","datavalue":{"value":{"text":"Topics in invariant descriptive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946084$3FC27142-DBF6-4AFF-8872-AEE1734EB3BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e1988dac14b075b28554eefc6d1efd67530ff0a","datavalue":{"value":"0985.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$78988A47-C7EB-4568-AFDE-9E67EBA4EECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4017fae53897ef833dcd1c7336493420dc4a2357","datavalue":{"value":"10.1016/S0168-0072(01)00024-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$D260F7CB-A60F-4117-943E-1CE1E898DCF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6555bf504e08eff1378f4a1100b51510800294","datavalue":{"value":{"entity-type":"item","numeric-id":194981,"id":"Q194981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$C83C7D0C-F296-40E7-9350-E419FB65F3D8","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":"Q5946084$E961B1E1-4C67-41EF-943E-415E36B72575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946084$C2538606-5E66-48B0-8C7C-4E23DF4B3A00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37250ff36e0660d4fb4aa6a2acea8155f6068ae7","datavalue":{"value":"The author generalizes two concepts from special cases of Polish group actions on Polish spaces: the logic actions by the group~\\(S_\\infty\\) (the group of permutations of~\\(\\mathbb N\\)) on the set of codes for countable infinite \\(L\\)-structures where \\(L\\)~is a~countable relational language and the analytic sets (which are invariant with respect to the trivial action \\(g\\cdot x=x\\)). The concept of logic actions is generalized to a~generalization of elementary embeddability or of \\(F\\)-embeddability where \\(F\\)~is a~countable fragment of \\(L_{\\omega_1,\\omega}\\) for a~countable relational language~\\(L\\). The invariant descriptive set theory then involves generalizations from logic actions to other actions by other Polish groups. The generalization of analytic sets is a so-called satisfactory set which are analytic and in some sense sufficiently closed sets; invariant Borel sets are satisfactory and satisfactory sets are invariant analytic sets. This generalization is new and nontrivial also in the special case of logic actions. Another generalization yields the so-called actively-\\(\\omega\\)-Souslin sets which are roughly speaking those \\(\\omega\\)-Souslin sets for which the action \\(a:G\\times X\\to X\\) extends in a~coherent way to an action of~\\(G\\) on the tree used in the Souslin representation. The main theorem of the paper states that for any continuous action \\(a:G\\times X\\to X\\) by a~closed subgroup~\\(G\\) of~\\(S_\\infty\\), for any \\(S\\subseteq X\\), \\(S\\)~is satisfactory if and only if \\(S\\)~is actively-\\(\\omega\\)-Souslin. This theorem is the reason for the author's belief that the ``right'' generalization of the analytic sets are satisfactory sets and not the invariant analytic sets. The main theorem is used to produce a~new type of a~finer topology on~\\(X\\) for which a~given action \\(a:G\\times X\\to X\\) remains continuous.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946084$E1059D77-65F6-44D0-A304-6F3B511E0E55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$7E16C7D8-A022-4335-B384-F992943F0CA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$3F33E91B-A0D9-4B04-8B03-5F59B16CF111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$4BE001AD-9647-44EF-9821-E17EC44EA101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$1D1E2D50-E83F-4718-9A5F-18C24EFDFAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$7EB5CEB2-F534-4894-89E4-C274220134C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb6fb643c7d5d3d5a23e3ec3b186793fef88a6c0","datavalue":{"value":"1658245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$B79D69FF-06A4-41A5-97E1-5379D8F96BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946084$72570EA0-8066-4367-9E0A-C334876AF594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f07122826d92822505a823cdb61c18167acd43","datavalue":{"value":"Polish group actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946084$AC15CAF2-B4D7-4DE3-A5A3-396695534799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2ff7dc1aba70e0e8fc9d26ccabe534d269c344","datavalue":{"value":"satisfactory set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946084$06058D5D-A86F-4587-82DC-A0D40C2A5726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f39a403d61bffbb7cba3d0fe015253240962f6","datavalue":{"value":"actively-\\(\\omega\\)-Souslin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946084$14E1240E-0690-411A-8031-F0EDEA00B84D","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":"Q5946084$5F5409E4-720A-4327-84BB-178DA0E5D318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e12c78cb40efa4277b18193c242284fd067d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4383175,"id":"Q4383175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$329D80E4-7AB6-4421-808D-CEC2CEC641CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bcac66bb3dc49c58eac971c8f573186f643d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4331784,"id":"Q4331784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$DDAE5C9C-4E62-45CA-ADB2-60971B4F5A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e3c0fc3bf03f46714bceccb60062a2a4d13a94","datavalue":{"value":{"entity-type":"item","numeric-id":2525882,"id":"Q2525882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$8384177D-B97B-4347-94DA-8392E5FCE706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$B41815C8-56DA-4644-BC98-A2929F528FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cc4a183a16ac598a5db517e80e2022883acbb7","datavalue":{"value":{"entity-type":"item","numeric-id":4182737,"id":"Q4182737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$2BD9F8E2-4786-4C56-AFDB-BE13D3E09C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86982728cf32d4096982e76d2004d50b078188b","datavalue":{"value":{"entity-type":"item","numeric-id":4517121,"id":"Q4517121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$A95A6EE2-8E03-44B0-A43D-0EEF21FA0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$14E5BBB1-EC55-4604-8CD4-169B5283E932","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":"Q5946084$EB4819C2-2A7B-4AC4-B847-87F0E1D32AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6013c18664415d35f8c2a3c1c9c4eecf08e58da","datavalue":{"value":{"entity-type":"item","numeric-id":4196416,"id":"Q4196416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$E4790B6A-2A22-4550-9E1B-1639F8EA5FA4","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":"Q5946084$79836143-8E15-4C82-B213-B51CE940D73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20dadfebff153820c4a1b97b4f15e8e2d262e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4286444,"id":"Q4286444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$E6D6B877-A0E1-431A-87E0-4E9947625303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$DCCE07F5-A2E0-4DD0-85BB-0931D2FDFD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c751535476ca8d74df899e852c0191b50df9476","datavalue":{"value":{"entity-type":"item","numeric-id":4187801,"id":"Q4187801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$45E02EB7-229B-4FC5-BBCF-CD672DC2FC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8bfb5cf61df49d00bed053078b1d901fd1ee51","datavalue":{"value":{"entity-type":"item","numeric-id":5597512,"id":"Q5597512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946084$204BE8FB-B5ED-4D94-ACB7-82A22101A424","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":"Q5946084$5BFB28D6-B218-4665-97AB-4B8A72B1A225","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ed2f6d7baf0bb50213e7aa858a5b72bf075e65e8","datavalue":{"value":"Q126420721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$57C05C08-3CC6-4E45-A9B4-C2032FAA3DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa6abc49f720a0e79201f3e46a2c809052e55320","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00024-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946084$A29AA7E6-0D2E-4B1D-AF34-0A44F4E6BF46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3ad603a08af440eeff227d665eaa9cf6dbb9d63","datavalue":{"value":"W2025741140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946084$C1840FB4-8547-4A37-952F-6306FB112765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad48a9b97cfce564d88753a0dc728fa5e7f0f0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4331784,"id":"Q4331784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac881d6109bfd9e9b06a7531b05d96f6aac7e0a","datavalue":{"value":{"amount":"+0.7990210056304932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946084$546B3901-FFB4-4246-8478-FF9DB2FE9866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b18690df2131ad791bc55cda3ca60e9f031d36","datavalue":{"value":{"entity-type":"item","numeric-id":4383175,"id":"Q4383175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac881d6109bfd9e9b06a7531b05d96f6aac7e0a","datavalue":{"value":{"amount":"+0.7990210056304932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946084$9D1024AC-1852-4679-A2A2-D13154A1904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3c4b76e456fbfe5b8503b72e5aaf7f4434bb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3525843,"id":"Q3525843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8633fc8eee6dffb9af9e178d79a6ad92dd0e9d","datavalue":{"value":{"amount":"+0.7951972484588623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946084$7950274A-11AC-4561-B292-13EC8443AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114a738d5daec50b3d00cf4026c764cfb31bbce2","datavalue":{"value":{"entity-type":"item","numeric-id":3545213,"id":"Q3545213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2625cf2a92244191c7a81483e471831adc3129b","datavalue":{"value":{"amount":"+0.7947271466255188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946084$8B55A121-0A2F-4043-BABF-0234A6745D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ea1b3bbdbdb87d9644043469b9c8f2b82c6159","datavalue":{"value":{"entity-type":"item","numeric-id":4579801,"id":"Q4579801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85116f26cb037c52b8ce137cbc03d5abeaec480d","datavalue":{"value":{"amount":"+0.7680906057357788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946084$7B4EC857-5D68-462F-BD4F-786DBCA7085E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topics in invariant descriptive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topics_in_invariant_descriptive_set_theory"}}}}}