{"entities":{"Q2766366":{"pageid":2777105,"ns":120,"title":"Item:Q2766366","lastrevid":41989097,"modified":"2025-05-21T08:32:27Z","type":"item","id":"Q2766366","labels":{"en":{"language":"en","value":"Uniform families of polynomial equations over a finite field and structures admitting an Euler characteristic of definable sets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696282"}},"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":"Q2766366$4EB3D1CD-550F-42D1-974A-525D87BAA163","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5483e02fcc1e0c6763a7d2a9d13759b9b112457a","datavalue":{"value":"1034.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$754987CD-9462-4808-9046-BED61B254BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da300974f4a2ff078b77a37cebebb02c92fddeb","datavalue":{"value":"10.1112/S0024611500012557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$76970565-1DA6-4D64-9270-F02E6B71F5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2766366$5C3B27F5-13E4-4F4D-97CE-CB8B8D4E89ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"add45323944bf63dbd1dd63bd05c680569804e5c","datavalue":{"value":{"time":"+2002-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2766366$EA194072-7B30-417B-9B91-4921A8FB5996","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$24E37091-06D7-4282-8D7C-051FA8269138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$BA2F29BF-F282-44E0-AA79-16D1624ED12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d108ec6c7e5325d987bc1f0e439a6c8321b9491c","datavalue":{"value":"12E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$1082CC49-AC19-4D26-98E7-5DD89A290986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$795F38D8-A997-491F-B3BA-0209530A2E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$8159662C-B56A-4517-947D-D13969E948DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6abe7125bc4bfc8fbb83c1624382ac1d5e8298a","datavalue":{"value":"1696282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$1EEC8CA6-8DFF-493A-BE4F-52679B61D44B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9158862c14d19e33938326fa838bdb77491faf","datavalue":{"value":"polynomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766366$F012BA67-24ED-4529-AC33-9712AB0E46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae6b73647501cddc60bea81c63e58401d0164fd","datavalue":{"value":"Euler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766366$6127420B-177A-4B36-AEBD-AA6D6AF2FF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766366$6FEDD3A3-5344-48B1-A1F8-F35CF8864401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766366$5549BB36-9127-432D-BBA2-A95A09920C36","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":"Q2766366$0E6BE640-586A-4F69-9209-E68821A0A445","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"881f755af3bf529ee54e21e98f979a5f4bafd77e","datavalue":{"value":"Q129275531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766366$B2AF49D0-ED48-4E02-9E94-DEC5368D2A45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01875485f92a991e6b8610c3d9b6809cdc916873","datavalue":{"value":{"entity-type":"item","numeric-id":5954264,"id":"Q5954264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d0df4815ac9d7138937faac3c4b9a61bcc1c26","datavalue":{"value":{"amount":"+0.8870561","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":"Q2766366$3B52390C-F06F-4B71-8BB2-AFD133821956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0a9870e1f2d57b6cccb93c42063351e8dc75a9","datavalue":{"value":{"entity-type":"item","numeric-id":2941396,"id":"Q2941396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb03ddbc7a807181a5e3cdedba71119522d924f","datavalue":{"value":{"amount":"+0.8803952","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":"Q2766366$3E558115-3D3D-401F-9724-32618ADEC323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd4c71777961c20c496ee303e70755db1bbc334","datavalue":{"value":{"entity-type":"item","numeric-id":1073796,"id":"Q1073796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ee1f293d955ea87f1dc4df5d6aaa0e28122532","datavalue":{"value":{"amount":"+0.8731953","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":"Q2766366$BB57AA38-48FA-4DE3-9C3F-90FE5123BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f7316818bcef043a45377ac4be1b2aabb17610","datavalue":{"value":{"entity-type":"item","numeric-id":4792312,"id":"Q4792312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1216271e6760ef138a11bff718ba184117769cd8","datavalue":{"value":{"amount":"+0.8659104","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":"Q2766366$33B820CF-6409-4DCC-80B9-BD2154357493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8643273e228d95198431ea2225d9dcba7f8c7384","datavalue":{"value":{"entity-type":"item","numeric-id":2438548,"id":"Q2438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb134379826a43ceaae2c124be9d8f0d30a44e1","datavalue":{"value":{"amount":"+0.8598809","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":"Q2766366$52B62EB6-D9D1-4392-BDFC-E260BAA087B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c12c669c5fda06ac89a314858d1d84249f02018","datavalue":{"value":{"entity-type":"item","numeric-id":5171502,"id":"Q5171502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d927befeefcd604fa78af7e3765e9e480fd0dc9e","datavalue":{"value":{"amount":"+0.85881835","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":"Q2766366$E8C944AF-19AD-46CE-B591-6E2649CB99B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef6cb8ab567de636c0afe084493991d9e77fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":5678952,"id":"Q5678952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23d391eb15dd45c0062ee529deb5933ff174830","datavalue":{"value":{"amount":"+0.8583977","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":"Q2766366$2AA3C104-14FF-470C-BAA4-19F364B58689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c270b74b2364a95829c4aac0498355287d4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":2909094,"id":"Q2909094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bb18ec0f17434998fee0391eb7ef05a9ce4aa8","datavalue":{"value":{"amount":"+0.85732","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":"Q2766366$2D61E6A4-C2CE-49AB-8102-27CD3542A041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9d1c2522d9b28748c7ac769cef21b9310501cf","datavalue":{"value":{"entity-type":"item","numeric-id":260084,"id":"Q260084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b0591afe2c5387773cac069a3e273ea3ee288d","datavalue":{"value":{"amount":"+0.8572622","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":"Q2766366$C44D1F19-75A6-4A29-95AF-A781A7CDBBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5785b60b257ab9a5c8e75b7041f1a084342ee135","datavalue":{"value":{"entity-type":"item","numeric-id":1124918,"id":"Q1124918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc08ceb0698f2a045f8afc4efc2da1b4f767d4c","datavalue":{"value":{"amount":"+0.85580766","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":"Q2766366$D1AE2271-FD33-4D4B-AFDE-B9A44457DF7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c05b5f52412099bf48973fdc311ce4087bc0f04","datavalue":{"value":{"text":"Uniform families of polynomial equations over a finite field and structures admitting an Euler characteristic of definable sets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2766366$903ACF03-1C3B-42E4-ADF5-67CBEB4A3EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"05c75dfbfeb57f29a657af8520ed8349037c0a8a","datavalue":{"value":{"entity-type":"item","numeric-id":6486853,"id":"Q6486853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2766366$1F01A0E5-BBBC-415C-9B8B-1F80D047C7E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0296116caccade6ff3a37515800cf131ec99534a","datavalue":{"value":"The pigeonhole principle can be expressed by a uniform system of polynomial equations, by using variables \\(x_{i,j}\\). (\\(x_{i,j}\\) is \\(1\\) or \\(0\\) as pigeon \\(i\\) is in hole \\(j\\), or not.) The solvability depends only on whether the base set is finite or infinite, as the principle claims the non-existence of an injection into a proper subset. But when one considers a structure (rather than just a set), together with an Euler characteristic, the solvability situation is quite different, and the finite/infinite distinction is not decisive anymore. The main aim of this paper is the solvability criterion [Theorem 4.1.]. The Euler characteristic, here, is a cardinality function, and has little to do with cohomology. Given a structure \\(M\\) and a ring \\(R\\), it is a function \\(\\chi: \\text{Def}(M)\\to R\\), with certain properties, like \\(\\chi(A\\cup B)= \\chi(A)+ \\chi(B)\\) provided \\(A\\) and \\(B\\) are disjoint. The author investigates its nature, existence, definability, and so forth. The `uniformity' of a polynomial system is defined by `definability', but an intuitive feeling is that the indices of variables have no structure like order. So, for example, the ``house sitting principle'' is not uniform. The motivation of this paper, the author states, lay in ideal membership proof systems like Nullstellen and Gr\u00f6bner calculus, and he gives a result about degree lower bounds [Theorem 6.1.]. The author gives a number of examples, as usual.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766366$A15F6EC2-505B-423E-AA47-711CCCA83C75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2766366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2766366"}}}}}