{"entities":{"Q2445923":{"pageid":2456666,"ns":120,"title":"Item:Q2445923","lastrevid":74279799,"modified":"2026-04-14T19:19:32Z","type":"item","id":"Q2445923","labels":{"en":{"language":"en","value":"Diophantine sets of representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284975"}},"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":"Q2445923$E860617F-1816-41E7-8FCA-AAB30872BFC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca21c7b4631ff756ba419b00d8631b461a201933","datavalue":{"value":{"text":"Diophantine sets of representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445923$E0BB275E-FECC-44D6-8DD9-7649D54D30D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"951f64309839b96197d4955d1128c1f578101d9b","datavalue":{"value":"1339.17008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$82D54CB3-CE62-4E01-A6C6-6DF245B80934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5263a6e364da32e3d7a787c0f437de3bdac428cb","datavalue":{"value":{"entity-type":"item","numeric-id":219500,"id":"Q219500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$7CA8C946-419A-422B-9BF0-ACA805FD8871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b5fa6c0109c818eb9eb30a61206ae77b99a41c0","datavalue":{"value":{"entity-type":"item","numeric-id":529158,"id":"Q529158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$13B3F252-DB8A-4EE0-872B-CB1978B57F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$C5B31711-43EF-44C0-A8A1-6DC0E4AF8BA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afe37cf2917e41f27c076194e149923b67529048","datavalue":{"value":{"time":"+2014-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445923$5F25A407-6F73-43C6-9082-1EAC2DFCC14C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a4813c2e3680c1f6ccd5671c7815f2197a23454","datavalue":{"value":"Let \\(U\\) denote the universal enveloping algebra of \\(\\text{sl}(2,k)\\) where \\(\\text{char}(k)=0\\). Given a pp-pair \\(\\phi/\\psi\\) in the language of \\(U\\)-modules, the support of \\(\\phi/\\psi\\) on the finite-dimensional \\(U\\)-representations is the set of natural numbers \\(n\\) such that \\(F(L(n))\\neq 0\\). It is shown that this is a primitive recursive, hence diophantine, set. This supports the conjecture of Herzog that the theory of the finite-dimensional \\(\\text{sl}(2,k)\\) representations is decidable; the theory of all \\(\\text{sl}(2,k)\\) representations is known [\\textit{M. Prest} and \\textit{G. Puninski}, J. Algebra 211, No. 1, 268--297 (1999; Zbl 0942.16003)] to be undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$19184F8B-56BA-47C8-926B-E909A2853430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d93d985b16b5eaf5ed267eccbb01733531593e7d","datavalue":{"value":"17B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$93A0FDFD-AD42-40BC-896F-F541557983FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$A3705FAA-176D-4E9C-A405-9FB7E701CC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7b8d255acde5092d50aa69e0770ad963de23610","datavalue":{"value":"11D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$A3AF0613-E430-415A-82A8-D94703CC5EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$62625380-F125-434D-9126-D31239F6985E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c019063710075e7f84dc2750afede16649571c55","datavalue":{"value":"6284975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$B0FDC61A-FF3F-4A1F-8DB3-157B9CA2B158","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c6e818523184726b36b5800e29799832c222b5","datavalue":{"value":"affine plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$409E0D1F-BE07-46EA-8F6D-42F5B34DD64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75460fca39418dd6441670a92dcf66845ae6010","datavalue":{"value":"special linear Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$998B93EB-63EB-4B67-AE98-D1A1DA0631AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a44ba929878b43c4e66ff26632fe557ee210c0f","datavalue":{"value":"Diophantine set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$0D62CB0F-E095-4C28-8AD3-5FFB3769A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa78beedac70118073350917a070da58d78b8ca0","datavalue":{"value":"primitive recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$4A6383CD-53DD-40C4-A269-F0E0557D80C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084f32a3bbb391daaf5316aaf1e44d9c00e47d1c","datavalue":{"value":"Morley rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$259FF7B2-1843-46EF-BA94-DD8E0B9016C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10330c9394dac06d59486adf5463c14ddf7a8d45","datavalue":{"value":"computably presented field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445923$01759166-732A-4CFD-956E-136FCFD990BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d97b53f005c7a0720daf149ed39bbd3004df69f","datavalue":{"value":{"entity-type":"item","numeric-id":1254307,"id":"Q1254307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$3EE6F7CC-A3DA-4C6F-AC19-A8584819B38E","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":"Q2445923$ECEFEB9C-1576-492D-BCD9-866F6C652820","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01913d76ce4b84ead733d1ac75f7ba54019b41c1","datavalue":{"value":"https://doi.org/10.1016/j.aim.2014.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445923$3400F8FC-8B0E-4435-99D6-29D6C4534410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ebfb5ffab5b1b336a938616be978257476a07f0","datavalue":{"value":"W2051256651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$BEC804FD-9626-42DF-AF60-DB314126FC3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aad2e8090571b6f7eb12ac43753939c3aa8d45","datavalue":{"value":{"entity-type":"item","numeric-id":4028605,"id":"Q4028605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$C070D550-3408-41C6-AF44-092F2A1B1399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$FCA54F4C-3581-4231-8AE9-16F368483637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909cb4048536d46808f3470b4e1fa07d5abe1352","datavalue":{"value":{"entity-type":"item","numeric-id":4888783,"id":"Q4888783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$37423847-437C-4E64-968C-BAAC0B1938C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2469905dd642e5c934f0a317e9d4b16d90f597","datavalue":{"value":{"entity-type":"item","numeric-id":5950957,"id":"Q5950957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$53A7CDC4-3EF4-41AA-8481-731CB80BD568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4d1a108f21a7ead154234a3a776721e16a7c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4317887,"id":"Q4317887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$E64B4668-A461-4497-A1C0-DFB573CAB62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad021c06fe12964bba41ba90eed0bbea1becb8c","datavalue":{"value":{"entity-type":"item","numeric-id":3509170,"id":"Q3509170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$A8EDA181-3055-4DB2-B045-DAA906660D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$4283CC86-C6C8-43D5-B483-3E56386A6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$D371919A-F8D5-445A-8603-0FB126CF037B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5f82e7c0aadd602b8cdb9a22ed4a96e67bd0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3588177,"id":"Q3588177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$E245B87C-CB55-4D54-AA4A-52BD6FDA7ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c844ee5125b77c2616ce91cb7ac431a1afc191d","datavalue":{"value":{"entity-type":"item","numeric-id":3632824,"id":"Q3632824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$98E1A556-0B00-4F46-A691-0346E9059B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c598d6273f9b0db0b446fe126198bba268b19886","datavalue":{"value":{"entity-type":"item","numeric-id":3688509,"id":"Q3688509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445923$3B615FF2-C60C-44F4-9856-CA1D14972009","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48477b390afcffdd34424fec15894425510485cc","datavalue":{"value":"10.1016/J.AIM.2014.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445923$AF11649F-7C10-4E29-BD5E-5A35896502BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd74e59e2934482c3383f6b721043b70e2adb8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3509170,"id":"Q3509170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0239de73d91dce0dc2baf48106a0b2959bc36c","datavalue":{"value":{"amount":"+0.7708626985549927","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":"Q2445923$6ED64C6F-2D0C-4198-8A2D-61E15C63A813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8f624338d1cbf125349a6b54d3039cf74b7889","datavalue":{"value":{"entity-type":"item","numeric-id":5950957,"id":"Q5950957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f04ac30d0153876ff4cbba2c0c879f64f1cebb","datavalue":{"value":{"amount":"+0.6706265211105347","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":"Q2445923$2232A692-A2C2-4EB0-BCE8-73B4A950B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf1627a52b4bcc140827557de37c5465710f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2445235,"id":"Q2445235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c4987e8a97cd9298858b40c893fb599acbcac4","datavalue":{"value":{"amount":"+0.66976398229599","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":"Q2445923$D324AB15-42A4-4AF4-9773-2BF5C513684D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a88a97f95ee5fadc469319205773a26bf12c6b8","datavalue":{"value":{"entity-type":"item","numeric-id":3169270,"id":"Q3169270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbbed0fab1aa2ed9869198705872fa73d66a945","datavalue":{"value":{"amount":"+0.6659293174743652","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":"Q2445923$EF2C496C-B40A-48A5-91FF-F7E81C41D51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9513741a65ddafde273ce2fea9a3b0506519bcb4","datavalue":{"value":{"entity-type":"item","numeric-id":1005866,"id":"Q1005866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87771d0513568ce1ea2d7592336fa483ca3121a","datavalue":{"value":{"amount":"+0.6626993417739868","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":"Q2445923$65907017-CB87-4FC5-8F6B-8981F8F60680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diophantine sets of representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diophantine_sets_of_representations"}}}}}