{"entities":{"Q2892672":{"pageid":2903397,"ns":120,"title":"Item:Q2892672","lastrevid":58056570,"modified":"2026-04-03T15:26:14Z","type":"item","id":"Q2892672","labels":{"en":{"language":"en","value":"On uniform definability of types over finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047773"}},"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":"Q2892672$27B1AA11-058D-460F-886E-01168D179D03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"826cfe162d082f17f75e6c8f80b713a9a099a488","datavalue":{"value":{"text":"On uniform definability of types over finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892672$D17734AA-6999-4F3F-BA11-CAF1B4D365A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7e37405de07e16d3260fe09548f3a54c574f228","datavalue":{"value":"1255.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$84F1F021-6D36-4F57-A79E-F4DB32E8B43F","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":"Q2892672$70E564D8-EF6C-47CA-8FFC-104CEA3C7FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892672$66471D3A-B5BA-48D5-B8E5-4F0BC4BEF5B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fefdc34808be9520b88d0bc2447f991baa3ca9a7","datavalue":{"value":"https://arxiv.org/abs/1005.4924","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892672$0341D956-56A8-4F0C-B220-323E64ED43A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef31ccfb4c3982d204e734731d050c0f368dea7","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566634","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892672$7A1AE7D0-9744-408E-A3A1-91E3D39B1B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cd74eb7d2e3670201891785e25da3e46571898d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.752.4482","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892672$6FE7BE30-5779-4E6A-8F9D-A1FBD1DD7766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$8772425E-78A7-41F2-A5D4-9673DD82ADA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$9C2A18D6-DAE3-4490-89E7-56F9B8B47202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$2C0C1098-681A-4D55-80ED-C1B0290CDC79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f379d26b5edc35c345a1ee8e62d7b73eef1334","datavalue":{"value":"6047773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$CC1AB278-2BA7-4EDE-AFED-3445A8B7C534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b52aa07c3b8ae9282478ba8086aa5cf842670c","datavalue":{"value":"dp-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$90F6C85C-AEDD-46EA-92A2-5ECAA12AE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60147cf439f6f482473b123481d3622e25e3a36","datavalue":{"value":"dependent theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$A220F0DE-CC9C-467F-BFDD-9BB2590A88EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b857e74c6c0208e134584310a3f06587a43cde6f","datavalue":{"value":"definability of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$E908B5CC-16D5-4C51-B305-97CDA91D078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$B9B49983-DB18-4A23-B209-9D7FE9FB107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fce6c9e33c28f48a6246dee268e6f4ec993e7f","datavalue":{"value":"UDTFS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$B47B6111-4E55-47FF-AD73-5DBD805DB827","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":"Q2892672$98A11F12-5818-4A70-80C2-A542519C6C3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57b1b72f7c2a692423e7331c2f61c03966ff9e08","datavalue":{"value":"W2592546086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$6B2D5505-C54E-4C0F-9512-08C8206789BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2617da699425f57f4e040462bb187dc879d93e3e","datavalue":{"value":{"entity-type":"item","numeric-id":5190197,"id":"Q5190197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892672$F7AA73FA-9336-4343-B94B-CC97E659FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52bafee4ee5279006516f0e74e2234a51816a8f","datavalue":{"value":{"entity-type":"item","numeric-id":972602,"id":"Q972602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892672$412780EA-035B-49D3-8F8D-86295F878E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca3e41ff24151dd676f23b963a15496a16690c3","datavalue":{"value":{"entity-type":"item","numeric-id":3173525,"id":"Q3173525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892672$E35BDB28-7A71-4E06-974F-BF10C95F52B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c6e0cb347728e443d28482483c6a8a2e402e626","datavalue":{"value":"10.2178/JSL/1333566634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892672$6EF5A671-1354-433E-A466-E95CF64240D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb8226b7eb2d7a134e2614485e7800c6508aa0b","datavalue":{"value":{"entity-type":"item","numeric-id":5163166,"id":"Q5163166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467f2235703dd184ca224b0ccd5cf28439845a21","datavalue":{"value":{"amount":"+0.96044844","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":"Q2892672$628A070A-2A7A-4ECF-AF7E-13562B6854AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27e3ff084724cc97b56d05e092adc2d34349044","datavalue":{"value":{"entity-type":"item","numeric-id":4381409,"id":"Q4381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7430956e5c7c9b05ceff9fa2bd0fb60285b761de","datavalue":{"value":{"amount":"+0.9079301","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":"Q2892672$395FE995-B8E2-4B09-BEE4-4A95B466988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0eb0bd8e783ddf2e5bcc2401521ac6ba10f6e1","datavalue":{"value":{"entity-type":"item","numeric-id":5108867,"id":"Q5108867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa286456c7a930bbfbf999afb072b0c5858f119","datavalue":{"value":{"amount":"+0.9048782","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":"Q2892672$BF8CA6DB-0B59-446C-B1E5-ABDAEE17AB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3334a04a8230168326609830e6978b2b0080532e","datavalue":{"value":{"entity-type":"item","numeric-id":3313859,"id":"Q3313859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d306bf939a0302bb245e2d123192e1616eba41","datavalue":{"value":{"amount":"+0.9007688","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":"Q2892672$1B72C04D-5034-494C-AD95-7421EB050AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40d7932b1bd3ea744e3b18a074f0fb1c99deaf8","datavalue":{"value":{"entity-type":"item","numeric-id":3173539,"id":"Q3173539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ec6d477a5d218b30048de35ab9c0ecc2d1667f","datavalue":{"value":{"amount":"+0.89908487","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":"Q2892672$F4090FCA-2D4A-4CFF-94CF-851F1520A7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0f5f0752a238d9d0c41c86e1ea7bd1cce26476","datavalue":{"value":{"entity-type":"item","numeric-id":5212035,"id":"Q5212035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cc68a98d3abf9d2db70745f3252ead2999ef94","datavalue":{"value":{"amount":"+0.89692926","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":"Q2892672$1E58E006-8991-4616-94D1-4A9E14C34252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27574fb731bbce0293472a4c22cbd141d258aae","datavalue":{"value":{"entity-type":"item","numeric-id":5430138,"id":"Q5430138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80b219bc2bed6fd2473ff2c92fd37b9d40d767d","datavalue":{"value":{"amount":"+0.89620763","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":"Q2892672$B6124779-C703-4A3E-84C0-A10E94D4C5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bb7eb76f3d0fee31f11c28c8466d31d107c290","datavalue":{"value":{"entity-type":"item","numeric-id":3061202,"id":"Q3061202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1148961713219e7097674691ec64431f20014e00","datavalue":{"value":{"amount":"+0.89596343","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":"Q2892672$E770CC8C-0D3D-4BD3-8A15-AAD874B42FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94b28955af8a9cbc1844310e17df2efcc9aaea1","datavalue":{"value":{"entity-type":"item","numeric-id":3988149,"id":"Q3988149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6986c66cb1fd49597ad32a739a31b405d0c1a467","datavalue":{"value":{"amount":"+0.89468706","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":"Q2892672$AF44B051-20E1-490B-8E90-6BF252372673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60873e606840c2d5a86dfc420761e3df8edf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4292603,"id":"Q4292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f40e9ab4756c5fde36ebd992efcf09537cc6ef9","datavalue":{"value":{"amount":"+0.8938608","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":"Q2892672$8204DBDB-375A-40D4-87B9-067C952B51CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892672$8A2C0B86-D229-4874-890F-7DD1882B71B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08a8ac891497eb9948f6481f516468da0dbb67f4","datavalue":{"value":"The paper discusses a new notion of definability of types, called uniform definability of types over finite sets, denoted UDTFS. In detail, a formula \\(\\phi(x; y)\\) (where \\(x\\), \\(y\\) are meant as tuples of variables, parameters, respectively) is said to have UDTFS if there exists a formula \\(\\psi(y; z_0, \\dots, z_{k-1})\\) such that, for every finite set \\(B\\) of size \\(\\geq 2\\) consisting of tuples of the same length as \\(y\\) and for every \\(p(x) \\in S_\\phi (B)\\), there are \\(c_0, \\dots, c_{k-1} \\in B\\) for which \\(\\phi(y;c_0, \\dots, c_{k-1})\\) defines \\(p(x)\\). A theory is said to have UDTFS if every formula has UDTFS.NEWLINENEWLINEThe paper illustrates some previously known properties of UDTFS. For instance, it explains why both stability and weak o-minimality imply UDTFS and UDTFS implies dependence. Actually it is conjectured that UDTFS characterizes dependence. Then the paper shows that all dp-minimal theories admit UDTFS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892672$03E229C5-16CC-4D92-9464-0515225E31E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892672$818A5CD6-2291-445E-9716-7ABFF59948DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892672"}}}}}