{"entities":{"Q654016":{"pageid":655865,"ns":120,"title":"Item:Q654016","lastrevid":63353802,"modified":"2026-04-11T12:18:20Z","type":"item","id":"Q654016","labels":{"en":{"language":"en","value":"A Silver-like perfect set theorem with an application to Borel model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991008"}},"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":"Q654016$84C0D983-12C7-4E24-AE0E-5A3BFFA0AC71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0a0a3915ad90f9b543539c28afa9731d21e1873","datavalue":{"value":{"text":"A Silver-like perfect set theorem with an application to Borel model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q654016$42570787-C283-44A8-85F8-BA3FD75FB79C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8382caefe4ec4871fbe0fde8d747d98c8918f8d7","datavalue":{"value":"1247.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$7CEA4263-89CA-4FCB-98C3-31486E105F2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"003974b0eb5d5ce90237e985a2a978a42950daf8","datavalue":{"value":"10.1215/00294527-1499372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$DE4CBA9B-A0CC-4769-B23A-CF5799845141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"823ded2c1644005c59effc607c5a6c9e01842357","datavalue":{"value":{"entity-type":"item","numeric-id":654015,"id":"Q654015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654016$C287CAC4-0A00-4C4B-B673-17875CFDAF2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654016$39301101-BD99-4630-A2A9-16D265FEBCEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d59771111bcb1a570f74a251a05a92b1b978b44","datavalue":{"value":{"time":"+2011-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q654016$EF46DF3A-CF0F-477E-9A88-BFF41DFE3673","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"961d27f9c2a8c89495de0f17da6a868e70dca544","datavalue":{"value":"Suppose that \\(L\\) is a countable, recursive language. An \\(L\\)-prestructure is a pair \\(M=(M_0,E)\\) such that \\(M_0\\) is an \\(L\\)-structure and \\(E\\) is a congruence relation with respect to the non-logical symbols of \\(L\\). In this case, the quotient \\(M_0/E\\) is naturally an \\(L\\)-structure, denoted \\(\\tilde{M}\\). We say that \\(\\tilde{M}\\) is totally Borel over Borel if the underlying universe of \\(M_0\\) is \\(\\omega^\\omega\\), every symbol of \\(L\\) is interpreted in \\(M_0\\) in a Borel way, \\(E\\) is a Borel equivalence relation, and every definable subset of \\(\\tilde{M}\\) is Borel.  The main theorem of this paper states that an \\(\\omega_1\\)-saturated totally Borel over Borel model of a superstable theory is saturated. The main result follows from a general perfect-set theorem concerning coanalytic notions of independence, which is of interest in its own right as is pointed out by the author via several corollaries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q654016$AF12548C-5E33-4D8B-8FE7-54368104D527","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfd184f2088e28b2dd3a427842d1b851f0e21dd4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654016$45D51DE4-0EA5-40B2-8A4F-99293B0BCD29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$34144403-2600-4E0C-B3D8-89869B73D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$24E494A7-4AC2-4A49-BC7F-A40ACCE18D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c7a48f58a31d7e4223f45a1877f66eced41f1a0","datavalue":{"value":"5991008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$9AF1C253-D702-41D6-A1D3-AEF20D8A450B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q654016$846C5CDE-7C02-4E1C-A71C-6AC143A4A825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab47a46f739f705fafcfb5fe44dc3de00c34713","datavalue":{"value":"Borel models","type":"string"},"datatype":"string"},"type":"statement","id":"Q654016$72D0E0BF-BE78-4C99-94AD-2D75E76FB420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q654016$52B56B14-A334-42B9-AD12-CF48DA5FBA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0351b051797771bd4ab810618e8250abd371cce4","datavalue":{"value":"perfect independent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q654016$7CB50559-E045-4349-BE64-CB9A03FC5212","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":"Q654016$4A1FA783-8B99-4DF1-87C3-B408A5A4DC39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1664c2fd1797f89bf210b3ac53c10a91953ca665","datavalue":{"value":"https://doi.org/10.1215/00294527-1499372","type":"string"},"datatype":"url"},"type":"statement","id":"Q654016$FA21893E-BEE5-42BE-AAD0-B20024CEB6C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d49941ae121891dc52b9439b383d2750e36b804","datavalue":{"value":"W2045871782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654016$6DA8978D-8349-488C-8B57-623E6075FCE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ffbe156853380e53fb17850ef672d7f6a3ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":3188942,"id":"Q3188942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521cc1dd467e880c7bd89f272d21f5726b6705d0","datavalue":{"value":{"amount":"+0.8813066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$11B93755-D8B1-434C-8B01-AA7486DB72EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c74c8cec467656424819bc2d35bc2ed029e7c26","datavalue":{"value":{"entity-type":"item","numeric-id":444726,"id":"Q444726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7203c5d4c6d3898f6704df1bfdabd24496a3065c","datavalue":{"value":{"amount":"+0.87674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$AFCAC2A9-C946-46AD-A407-BFB1E0C939BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdd9a83cd7b93664849da91a91709da0611a1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3469887,"id":"Q3469887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28c09d9ea48149bed8f36d0e255533435e73fa8","datavalue":{"value":{"amount":"+0.85110855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$07F2F646-7726-443A-9ADC-7731C4A07243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea4b3aeee57c493d5ec46fb8345ae910e3d777","datavalue":{"value":{"entity-type":"item","numeric-id":5501775,"id":"Q5501775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e680b2ef024efb6d7c8a1537decaa6be25a1249","datavalue":{"value":{"amount":"+0.85081995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$A13E22CE-C684-4D5E-8DE2-9797F60A7270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f9a254f150883de5b0a93824d9eb5c0a61376e","datavalue":{"value":{"entity-type":"item","numeric-id":5082053,"id":"Q5082053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cd66872320cb1e8b724d25772c648e63aa9ed9","datavalue":{"value":{"amount":"+0.85077965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$29289021-4B0A-4827-AAA9-6267CE6EF3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b92d96393824d599e6830646d8ba277a793ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5316385,"id":"Q5316385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc9cf4b72d091e3e8c7354b81752901fcc035ac","datavalue":{"value":{"amount":"+0.8480754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$B56231D4-9488-4B16-BF97-00F07BE62510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfff16ea2f9e60178ee79d3d85d7bfb05790ea5b","datavalue":{"value":{"entity-type":"item","numeric-id":4212928,"id":"Q4212928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e224240a49f629c770eaa8253e54378bb4473d","datavalue":{"value":{"amount":"+0.84688604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$C0D8DA94-3529-4BFA-B212-DE0F8B424610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f18c4773b8a80440c95e7622a5e268ab2466273","datavalue":{"value":{"entity-type":"item","numeric-id":4389818,"id":"Q4389818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35b5fe469011c8b295bf95f799ae907e6360feb","datavalue":{"value":{"amount":"+0.846208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$DE2F650F-55AE-425A-854E-7A66C02868B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e112dbb03f651025e34e6d09357bf0a31ff24e32","datavalue":{"value":{"entity-type":"item","numeric-id":3563893,"id":"Q3563893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a343fd8f9e4519b21717d4c49f9b808eba4a3fe","datavalue":{"value":{"amount":"+0.84371704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$3993E08F-FAF3-4169-B55F-EFC18286CCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2672f5430de080db926be933d212fc8158d0c865","datavalue":{"value":{"entity-type":"item","numeric-id":5499006,"id":"Q5499006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b798361471dca799dd335abc6eae2a6b3e905232","datavalue":{"value":{"amount":"+0.8431968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q654016$5BB41BBD-8F80-41F0-9252-D10B24AA56EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Silver-like perfect set theorem with an application to Borel model theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Silver-like_perfect_set_theorem_with_an_application_to_Borel_model_theory"}}}}}