{"entities":{"Q2085575":{"pageid":2096317,"ns":120,"title":"Item:Q2085575","lastrevid":57728436,"modified":"2026-04-01T03:23:57Z","type":"item","id":"Q2085575","labels":{"en":{"language":"en","value":"Dividing lines in unstable theories and subclasses of Baire 1 functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7603654"}},"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":"Q2085575$DEBF7E81-0834-4018-A12E-4EBAD1EC143E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8845bf50ec2f4e0300badc9fc6c61977431b145","datavalue":{"value":{"text":"Dividing lines in unstable theories and subclasses of Baire 1 functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2085575$429ED7AC-7C2D-4045-B7F7-887CD6F1E015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c31335837904d6bbf276f1de9bdb644bd72c188","datavalue":{"value":"1503.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$CA863BD1-4410-4E68-9648-FAD746C6D04B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3b8009cd69bd2baf5e514e098f945998a842c6b","datavalue":{"value":{"entity-type":"item","numeric-id":2085574,"id":"Q2085574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$45B1FFAA-8BBF-4EDB-9020-67353E818ECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$6083FB01-19E4-4732-B29D-69D5E5D0D5D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56990fd6540c9785f009870b6cba51a68900b81f","datavalue":{"value":{"time":"+2022-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2085575$450CB1D3-FE08-4A82-B1AB-E9535DBB6C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb9c9b9ea97955fbdf9dfd63e8abe10f36790e2","datavalue":{"value":"https://arxiv.org/abs/1904.09486","type":"string"},"datatype":"url"},"type":"statement","id":"Q2085575$7DF89698-E117-4B5A-B148-B7DADD0A3B76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"928c5e880bd9a925b70cba71a97a357c59e499c0","datavalue":{"value":"The article under review is part of a series of works of the author establishing a link between various stability-theoretic notions in model theory (such as the IP and SOP) and spaces of functions on compact spaces. This link is achieved by changing the focus of study of these properties by focusing on the combinatorial behavior of formulae in models rather than with respect to the theory itself. One of the main results of the paper is to provide a sharper version of the well-known theorem of Shelah, which states that a theory is unstable if and only if it has the strict order property (SOP) or the independence property (IP). The sharper version presented in this paper replaces the IP with an a priori weaker, local property. This approach allows the author to give a functional analytic interpretation of SOP in terms of Baire class 1 functions. A similar functional analytic statement is made for the NIP.  The author then uses the well-known Eberlein-Smulian theorem from functional analysis to give a short proof of Shelah's theorem mentioned above. The author uses this argument to propose a general thesis that dividing lines in model theory should correspond to interesting spaces of functions and presents a roadmap for how this line of research should proceed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085575$BC721C5D-BF35-498F-9791-558548AE30F9","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":"Q2085575$66B6B69A-55E5-43AA-A2F7-1E40C4442C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$BEAF199A-9D12-4713-8327-8BF6FE0E11DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4532e07d9f3a5231686cd22341eba43f61bb3a46","datavalue":{"value":"26A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$E3CEC1CF-D5CF-4894-A87A-CAA0C8162CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acd61b7e766bced3dea3f509ac1dfec0d9ee902b","datavalue":{"value":"46A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$C72F1EB0-8114-447F-9F5B-5CA399BAB620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$FF5787CE-2A2D-468A-8834-928FED3A588A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d2dc6fac5bd6acf444e4a7a38264b94a258c3ed","datavalue":{"value":"7603654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$881AB6EA-6599-4C19-9D25-BF374FEDE2ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980889dd8e6e98b3b43018fc62329ee05e5bbeee","datavalue":{"value":"strict order property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085575$2BE665FD-8E26-4772-9F37-F9C2842E31C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b999e97e638000094ce17ab8de0f4b522a4393","datavalue":{"value":"Shelah's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085575$734A6ADD-1B47-4459-B42B-37DFDA84E815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337e00122277cd045abc546476638395b58aa22f","datavalue":{"value":"Eberlein-\u0160mulian theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085575$141C537C-27FC-493B-B75F-E801B37E1F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6dd8e2a31c1c5150caa0bbd4a45f6c836c8be7f","datavalue":{"value":"Baire class 1 functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085575$F1303CCE-26A0-4D6B-81DC-CE06CA1FCBA1","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":"Q2085575$8C4E9F66-8825-43AC-9FDB-B53C36EB8BFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9d0a0d811e5c6bc7a7f45ed6b05e35f866ab78a","datavalue":{"value":"W2939378400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$76048964-93DC-4602-A129-A1D4EB7E1FC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$900BB7D1-0884-45AE-BE09-EEE4E8CFB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3722240696b88c5f2e622fd38fc019324d07c44","datavalue":{"value":{"entity-type":"item","numeric-id":2565232,"id":"Q2565232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$F7A4FEC8-76BF-4A3A-8C66-4F1D232C2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb12748b4eda7e70b939c05fd98335de03b9e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3598959,"id":"Q3598959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$4D260DE7-3A38-466D-9FAC-51A3514399DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c6b280b685b7464f9459ee5c8eeb8f5fe3263e","datavalue":{"value":{"entity-type":"item","numeric-id":1584014,"id":"Q1584014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$7D120D65-F58B-4447-A186-88E82C10DAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfaed47112a920ea4196cc43383d8ba8af1a10f","datavalue":{"value":{"entity-type":"item","numeric-id":5809466,"id":"Q5809466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$36B6CC0C-210F-4E47-B918-35EE388B110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89098228a1dda92537f986c75e68d8e8ad42d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":5835082,"id":"Q5835082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$1A5A482E-D779-43B5-8D27-BA8C62CC21C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$7610799C-6FDB-4955-852D-4D0F6A8E2581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb577430dbbec6f9905cd7c2468eb8b1f29e7eb","datavalue":{"value":{"entity-type":"item","numeric-id":501861,"id":"Q501861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$B84E0D05-93F2-4452-8B4E-32E6C98D8DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dfd2f3848c2bff295617a3a6af8dc025b7841b","datavalue":{"value":{"entity-type":"item","numeric-id":4948530,"id":"Q4948530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$72A043DF-019A-4370-83A8-78AC87B27521","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":"Q2085575$6EC3CFE0-6449-4557-A27F-9672CE7B5DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fc4268b7b4c1394556e337577b5148da680a16","datavalue":{"value":{"entity-type":"item","numeric-id":3033755,"id":"Q3033755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$A8288E6C-0BA2-42E2-8B8E-193005C4F903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c94d4363cb84db242c9bdf9c5a5e4006b97ffa3","datavalue":{"value":{"entity-type":"item","numeric-id":5119903,"id":"Q5119903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$78B6E96B-FF9F-49D9-AEA9-92AC31686E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5060e298b23d7113011a52c8a312d048397c84","datavalue":{"value":{"entity-type":"item","numeric-id":5109237,"id":"Q5109237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$31BE4543-5D29-4C53-8BE3-19AA1969E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a60c0661cd950b4b50bfb75ee4646dc6293bd6c","datavalue":{"value":{"entity-type":"item","numeric-id":1836122,"id":"Q1836122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$7D6A5116-D307-40C7-8F60-DDF41A87C4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d4ad509a67099794ab85c533aeeee598d05bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3967522,"id":"Q3967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$B7D337A1-9ACC-4009-B0C8-FFC87BEA2B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770cb2d8fb3ea99ba2b107c87cc90fcc249cad72","datavalue":{"value":{"entity-type":"item","numeric-id":4051108,"id":"Q4051108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$E57F4B93-4A18-4BE2-BC34-9AB300B38292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$7A1FC107-18FE-4CA7-9740-8C8248FF2CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51159239e04b5bddfbef23846d8c30fe25e60153","datavalue":{"value":{"entity-type":"item","numeric-id":4767312,"id":"Q4767312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$CDA24043-98D4-4BB4-8766-8157D6DF404D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2318b53388f17b4e2bedc989a7cf181a99605226","datavalue":{"value":{"entity-type":"item","numeric-id":5259639,"id":"Q5259639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$CE5CEE65-1C26-4029-99C3-6B64F04906DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca82a717d463b7e5f45fce4014fb00ab51fb7965","datavalue":{"value":{"entity-type":"item","numeric-id":2524306,"id":"Q2524306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085575$F39FBA86-EF9E-4A28-BF34-DD7A3105C274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4d847714b7841d55409d08ed74046a0ef6785c1","datavalue":{"value":"10.1007/S00153-022-00816-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085575$C2535B80-EA8B-4C04-90C0-7A08EB70FE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca60534a4a02671e86602e1a855c13244be2a552","datavalue":{"value":{"entity-type":"item","numeric-id":947266,"id":"Q947266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037d06f749d51d0328e24e77d75e2c95d5a543c8","datavalue":{"value":{"amount":"+0.7684960961341858","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":"Q2085575$3DD4F3AC-DEE9-4409-89E1-713C4C867DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95e530cf8408d535fb684facc8829f38965ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":5119903,"id":"Q5119903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70794194a8c461d3a56097a879f30c3296deef12","datavalue":{"value":{"amount":"+0.7500277161598206","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":"Q2085575$31195A4B-76B4-49DD-9022-1D3BAFDB87B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2754e53961762564306376aca5d9e9bfde3fc50b","datavalue":{"value":{"entity-type":"item","numeric-id":4628688,"id":"Q4628688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b01521b4f7e39b84b646174cc9e21bafde51cc7","datavalue":{"value":{"amount":"+0.7434268593788147","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":"Q2085575$5C518382-D8AE-40FA-A20F-B442D6F320EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11ef2df652395a718b0499488e1668ddeef18fa","datavalue":{"value":{"entity-type":"item","numeric-id":1428039,"id":"Q1428039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bb04a9a2b6a192026aa5354da4c3e12c9ac951","datavalue":{"value":{"amount":"+0.705842912197113","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":"Q2085575$52C3250D-8089-4F61-982E-A92A4081E66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe588f58012bef54d79297f8b885325584181f9","datavalue":{"value":{"entity-type":"item","numeric-id":515567,"id":"Q515567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0336ba78c0d124c596ff7404ede60abbec79f610","datavalue":{"value":{"amount":"+0.6978378891944885","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":"Q2085575$396F354F-44BC-460D-B28B-6338B1D8EC16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2085575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2085575"}}}}}