{"entities":{"Q506966":{"pageid":508733,"ns":120,"title":"Item:Q506966","lastrevid":57047442,"modified":"2026-03-26T10:27:52Z","type":"item","id":"Q506966","labels":{"en":{"language":"en","value":"Definable choice for a class of weakly o-minimal theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680068"}},"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":"Q506966$7692F8D1-6B38-41C4-8078-394FA7D7B154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eff531b455b8ae3c35b43c5e6f3d756247eaae0d","datavalue":{"value":{"text":"Definable choice for a class of weakly o-minimal theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q506966$C0DBD34F-5EBC-43E0-843A-1D80CD2E4EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96534d40f328e118ddf3d2ac65ec02b348e62cf","datavalue":{"value":"1364.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506966$53C88245-E617-4357-8FEB-6B92C735D621","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4ea10fcdda423a65dc05651e68f1cd6fc5655d9","datavalue":{"value":{"entity-type":"item","numeric-id":506965,"id":"Q506965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$EAA1D730-6FFB-4AD8-B7C5-D2610EFE7C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad82ea677d9252aa5ae95627c4706e056386aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":1203761,"id":"Q1203761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$982A82C6-9D25-4BA1-94F4-0EF0001C86F3","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":"Q506966$C61B4797-7C2F-4C00-A8E7-FE26A057ED75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q506966$2ADC3423-EDD8-4474-8D0B-9656627242FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f9b96ed83752614ecaff55582533fdd876f9b16","datavalue":{"value":"https://arxiv.org/abs/1505.02147","type":"string"},"datatype":"url"},"type":"statement","id":"Q506966$B09879FE-7DDC-4CEB-93C1-A6B92AEDF4EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c9ac4db1e4521db0112f6500adfc77597535b424","datavalue":{"value":"Let \\(\\mathcal{M}\\) be an o-minimal group, and \\(U\\) be an additional unary, downward-closed relation, defining a non-rational cut in \\(M\\). Then \\(\\mathrm{Th}(\\mathcal{M},U)\\) is only weakly o-minimal and may be of valuational or non-valuational kind. The main result: the cut is valuational if and only if \\(\\mathrm{Th}(\\mathcal{M},U)\\) has definable Skolem functions; in both cases a stronger property, called \\textit{definable choice} (the choice functions are injective with respect to fibres of definable sets), fails to happen for \\(\\mathrm{Th}(\\mathcal{M},U)\\).  In the valuational case, the proof is borrowed from studying the valuational expansions of o-minimal fields (the real-closed valued fields, for example), and in the non-valuational case the analysis of dense pairs of o-minimal structures is used.  The paper refers to the Ph.D. thesis of the second author [Weakly o-minimal structures and Skolem functions. Maryland, MD: University of Maryland (PhD Thesis) (2008)] giving an explicit algorithm for calculating Skolem functions for some class of models \\((\\mathcal{M},U)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q506966$C8A5E76D-8AF3-4441-9A7B-DCCE4B7EB4B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c2bd62dc5ea44804a8decc307dda68e19bec635","datavalue":{"value":{"entity-type":"item","numeric-id":350787,"id":"Q350787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$95E06B38-3CDD-493F-B3B8-E61D04DBEBA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506966$505020FF-599D-4CAA-82F4-DAF73D1E8C49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00efde0ed220b9b8122787415f5231fdfdab96a6","datavalue":{"value":"6680068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506966$99E1CA85-E92A-4531-B5FA-CD788AD683A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce03cbccb0a0734c75d035f92d2ddbd585974ce","datavalue":{"value":"weakly o-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q506966$4A3EB3FE-C979-456A-BE82-1575C0D2DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q506966$A83D2320-CB36-4CBE-96B7-A345158C6970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d3897ca9c8b35db21a20296a0078b990c50caf","datavalue":{"value":"definable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q506966$773B7F2D-A272-41AD-BE32-06E60F9C9F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8891f84bc0b35f2db2b8346bea0273284f96d8f","datavalue":{"value":"o-minimal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q506966$6037C8E5-D0C7-4C23-91D7-ACE4A6238C5C","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":"Q506966$F7FAC1FD-0D0A-44BA-9B75-8DCEC972C947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"834446e44cc55f4685786ff28c11ca2f4a258a9b","datavalue":{"value":"W2247023843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506966$1823CF40-4D4F-43E6-9099-A4D004942478","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ae1f958244049c4c98db71172adb1da0d93a32","datavalue":{"value":{"entity-type":"item","numeric-id":4212921,"id":"Q4212921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$BB1CCAC6-FA8D-4933-A833-E79794874A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa1b169e129a49f1cfd7234a4a5fb95cb79d577","datavalue":{"value":{"entity-type":"item","numeric-id":3742314,"id":"Q3742314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$B3FB0F58-57D6-4A7D-89B6-F2420B89979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65dfb150bffcda743c968e9134199b7310898d5","datavalue":{"value":{"entity-type":"item","numeric-id":4338311,"id":"Q4338311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$CA14F8A1-446B-440C-ACB3-F3CF7A18494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88c7097b8c20754181e65c20c653d8bcea4793c","datavalue":{"value":{"entity-type":"item","numeric-id":3727972,"id":"Q3727972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$23D08582-09DB-44D0-BC34-9B7FDBA48A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce2beb62fcb42715609ec62e33b768ce3c21f1","datavalue":{"value":{"entity-type":"item","numeric-id":3840696,"id":"Q3840696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$B6ACB2C2-530A-4F3E-9C82-382948E55DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$951D096C-92E4-436B-AF40-0E4BB62BF413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b393bc737aa7b261523890de5d9bdacc3770e2","datavalue":{"value":{"entity-type":"item","numeric-id":4836044,"id":"Q4836044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$2CF55533-E01B-4979-8542-F0F021A088DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8bd87fbc9af88f5b1aa7245ba64bb0c527c56b","datavalue":{"value":{"entity-type":"item","numeric-id":4505928,"id":"Q4505928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$7BEB0B17-308B-439C-8652-60E40012043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$58E6660F-1661-4DDE-975B-6CAE24E3B4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deaae6f4a649ffff6ad49bdda5605d5b54bef7d","datavalue":{"value":{"entity-type":"item","numeric-id":3727971,"id":"Q3727971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$C198E81E-8C8E-453D-84A2-95CB25C82350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$8590777D-17CB-42E4-97B7-B87357269752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7616634aca219cbbc097bb228d1d5a9ac2d6d079","datavalue":{"value":{"entity-type":"item","numeric-id":3487323,"id":"Q3487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$200C0C02-1523-4684-93C2-11AF1F813095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70a3a7648bc34e7a14a11f79ad61a8b6adf3145","datavalue":{"value":{"entity-type":"item","numeric-id":932573,"id":"Q932573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506966$1E353A82-BEFE-4C07-9B94-4EB0FB68A69D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e185720df32c6ad29fc496d9522abd3d122d9fc1","datavalue":{"value":"10.1007/S00153-016-0490-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506966$A988AB79-DD97-4C0C-8B79-3A68BB82AA58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb216fd3d3deead7ce5c3c4dd4717a09719c4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4600465,"id":"Q4600465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6782fb8766138c31bac744353aceda7eb4f72d","datavalue":{"value":{"amount":"+0.8310311436653137","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":"Q506966$CF518D48-7558-49C7-87D0-FBC30E44FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbfa2a237b57f15dc158676027d45143e589eed","datavalue":{"value":{"entity-type":"item","numeric-id":2105097,"id":"Q2105097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0436450685b7594ba610d7f796d5fc59457b0a5","datavalue":{"value":{"amount":"+0.8176084756851196","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":"Q506966$D0F7D648-E487-452B-A983-5DD8F0E26392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc1774e831dbfef4dd78edcfa67d02a0b0d747a","datavalue":{"value":{"entity-type":"item","numeric-id":1113892,"id":"Q1113892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba978c7063e3da2da26540f0a14d0f4ffe1e190e","datavalue":{"value":{"amount":"+0.788388192653656","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":"Q506966$DB400C98-0818-408C-B05F-CB6D313E6CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115890833610e4bd79b69ff2cf364123db8b7314","datavalue":{"value":{"entity-type":"item","numeric-id":2219092,"id":"Q2219092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39f61ad59793ae618a709bd0aa829e4c0b64e0f","datavalue":{"value":{"amount":"+0.7634908556938171","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":"Q506966$F54D70AB-1999-46FF-94BE-2CED081ADBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b74eced19a453d480127745916f733fceeb44","datavalue":{"value":{"entity-type":"item","numeric-id":527334,"id":"Q527334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38a6f071474ca48a69c3bb615d7648316438b4b","datavalue":{"value":{"amount":"+0.7526707649230957","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":"Q506966$1425F8EA-4C8D-4826-A2B5-D92EF0C84361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:506966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:506966"}}}}}