{"entities":{"Q377466":{"pageid":379233,"ns":120,"title":"Item:Q377466","lastrevid":56831604,"modified":"2026-03-23T17:36:21Z","type":"item","id":"Q377466","labels":{"en":{"language":"en","value":"On VC-minimal theories and variants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6223050"}},"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":"Q377466$E8BC5B98-C730-4208-A2CA-9D2E67ECFFF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5102b056b0559b4cc8ffff322fdd4eddbadadb8","datavalue":{"value":{"text":"On VC-minimal theories and variants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q377466$EB0AE7D6-2931-4AC7-BA96-2FA8E8C2E717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e89611130052f617aac0de3056ec1ad7dd89b9","datavalue":{"value":"1298.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$98C2913B-450B-4D67-BD3B-F277678C733A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e6f8013b215465bb65e78072547cae68c74669","datavalue":{"value":{"entity-type":"item","numeric-id":377464,"id":"Q377464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$67601013-638B-4056-9893-925F0EDD0F20","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":"Q377466$A4930D82-D877-4EE0-A403-95CEC7CFD197","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":"Q377466$85194823-821C-4008-AF86-9C4DA049EFD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"102ef688e1f1ee42ad21d8460f0995ebefcc5ee1","datavalue":{"value":{"time":"+2013-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q377466$7B650DD1-7B3B-49D1-996A-035F57A7F511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e3db52fde8fff0a6c6031f5386e94a3ba5f8d9a","datavalue":{"value":"https://arxiv.org/abs/1110.4274","type":"string"},"datatype":"url"},"type":"statement","id":"Q377466$EEA8F55E-BF4E-48B8-AD59-CB0C12D1CC1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69eee105aa315095deed07285f13fc72db5c96f0","datavalue":{"value":"Three new concepts related to VC-minimality are introduced and studied. The first is convex orderability: an infinite \\(L\\)-structure \\((M,\\dots)\\) is convexly orderable if there is a (possibly non-definable) total ordering \\(<\\) of \\(M\\) such that for all \\(L\\)-formulas \\(\\phi(x,\\bar y)\\) there is an integer \\(K\\) such that for all \\(\\bar b\\in M\\) the set \\(\\varphi(M,\\bar b)\\) is a union of \\(\\leqslant K\\) \\(<\\)-convex subsets. It is proved that convex orderability is preserved under elementary equivalence, hence it is a property of complete theories; it is proved that it lies strictly between VC-minimality and dp-minimality. Unlike VC-minimality, convex orderability is preserved in reducts and the question of whether it is the best such approximation of VC-minimality is left open. The other new notions are weak VC-minimality that lies between VC-minimality and dependence, and full VC-minimality lying between weak o-minimality and VC-minimality. It is proved that any unstable, weakly VC-minimal theory interprets an infinite linear ordering, and this fact is used to confirm the Kueker conjecture for weakly VC-minimal theories. The last section of the article contains a diagram of known interrelations between the mentioned notions, strong minimality and low VC-density. Several open problems are stated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$1E048189-75D0-406F-A544-955DC3666BE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"656c19fc9a86a3c9aee7559fbd2c116ea3bfe94b","datavalue":{"value":{"entity-type":"item","numeric-id":377461,"id":"Q377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$2E804F25-2CC4-461B-B75A-65AD02EF431A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$257BD754-5F34-405E-B529-25AE38EBF77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$EE68B8FC-093F-4BF6-A291-0C2B200A225D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02fd6808470110b3e3ad7318beebce4b6d63e008","datavalue":{"value":"6223050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$5CAC8B5F-C962-4234-A989-334A322F90A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c52be31a104fd71a79fec671e474303024e3d4a","datavalue":{"value":"VC-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$085B79FA-39C4-441D-8D24-CA1FC3F17B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fce6c9e33c28f48a6246dee268e6f4ec993e7f","datavalue":{"value":"UDTFS","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$848E7957-34D2-4767-94CA-ED22A1BB2995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e0f6d82cd71caedce9f1f634bb2246a8535a67","datavalue":{"value":"convexly orderable","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$D12E6DE9-BFAB-4F29-B2FF-A8CB947234A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$1066B0DB-5F57-425F-977B-E136942B96B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f110ce72fcd1cfcc5c6cf0f5ce95463c07c23f","datavalue":{"value":"dp-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$B386121C-5D70-48DA-B3A1-D3E4F61DF28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7154b2b190b8177d533d9035771e206e7a6a746","datavalue":{"value":"Kueker conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q377466$F4825B76-23DE-4EFD-A23A-92FB3B2585CC","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":"Q377466$7E0FA58E-44A8-498C-B208-F205384707D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd582789aa097c64a6ebaebd67c4973c1e745c35","datavalue":{"value":"W1976408430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$938FCF77-5ACB-4027-912C-913F2F8EDA85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fdd0450e8c8ac13b055e7e179ccb1bd6c0f0af","datavalue":{"value":{"entity-type":"item","numeric-id":2790718,"id":"Q2790718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$6E3002F0-04A6-45E6-B652-5B1B102698DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af75cb4b87a60b7e6c441d7442a3d485b069a2a","datavalue":{"value":{"entity-type":"item","numeric-id":645745,"id":"Q645745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$1802D306-DC22-4029-A501-D25E8E94A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2716313a77f67cac8a71aa75de62cce547513ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1152158,"id":"Q1152158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$DBFCC850-0B23-4C2C-9D44-E7E4D46DD19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134959347141f411616cabdf89b082b55117b3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2921025,"id":"Q2921025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$9C6D4AA3-6C63-4DE9-AACC-5D392EFA0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fe62e07b9fea3ed012a259a48599efb38fd476","datavalue":{"value":{"entity-type":"item","numeric-id":2892672,"id":"Q2892672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$A90C44CB-6414-4F68-B7A5-1D3DA4CD0407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8515c8b876aa715f6c6ead9fea5b65b2754a62","datavalue":{"value":{"entity-type":"item","numeric-id":2849030,"id":"Q2849030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$32DEA74D-A3FF-4BCD-BB59-281423C4CB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84eccdc4b092e88d4f744fa5cda52c3194b40e8a","datavalue":{"value":{"entity-type":"item","numeric-id":3829541,"id":"Q3829541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$4BAA4E1A-AA23-428F-B819-1170A16263D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377466$C49BD4EA-C403-4B20-8D7D-9FDA51E71C67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b082ae96739ed8569c85f1a99b4f7798348f7821","datavalue":{"value":"10.1007/S00153-013-0341-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377466$C68B86B9-2921-4BA1-9219-8678BA0F0F0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f6bbf033003e8d07610fc4a20e67f7081ee293","datavalue":{"value":{"entity-type":"item","numeric-id":2921025,"id":"Q2921025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c492283567deeae4890f209d57e367619b5604","datavalue":{"value":{"amount":"+0.825725793838501","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":"Q377466$D5630DF3-D1C5-4564-880A-02D10456EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7459d54f3cd3f6c77a6c36565a393ce2a0c464da","datavalue":{"value":{"entity-type":"item","numeric-id":403395,"id":"Q403395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b641c324b0fc0676ecc0a9ece2c9085af2b0dc5","datavalue":{"value":{"amount":"+0.7998049259185791","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":"Q377466$26E03295-927E-4095-965B-B11DB81E8467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c70ecf16dabf78521dbcde44da361f08d7027","datavalue":{"value":{"entity-type":"item","numeric-id":2080702,"id":"Q2080702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e5f255151f6ee7e495396c7468f4d8ee3a1ce5","datavalue":{"value":{"amount":"+0.786274254322052","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":"Q377466$EF15F435-2367-4095-84E9-FDB792748C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ced566c5f14e162df73e2096b9977cfce4f46ce","datavalue":{"value":{"entity-type":"item","numeric-id":4802727,"id":"Q4802727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817c04cc8a8aec06e6c502dd9c02cd196521610b","datavalue":{"value":{"amount":"+0.7752800583839417","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":"Q377466$0494E6B3-AC41-40E0-9A74-5B97E82EFF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0740491af26ce1a45b1c89d36a64fe9f01a6c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899172,"id":"Q4899172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12046f7cd5d00104bba06aa1a2ae370bfabcedee","datavalue":{"value":{"amount":"+0.7712908983230591","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":"Q377466$9E594188-823A-4ABF-B16E-5E560A78AEF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:377466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:377466"}}}}}