{"entities":{"Q1117270":{"pageid":1128019,"ns":120,"title":"Item:Q1117270","lastrevid":66462468,"modified":"2026-04-12T10:14:54Z","type":"item","id":"Q1117270","labels":{"en":{"language":"en","value":"Undecidability of the theory of finite nearfields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091623"}},"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":"Q1117270$2275C58F-5D65-404D-B379-62CFBB61AE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3dfe40c220bb7a7d62465980bae0e2f4a3982f5","datavalue":{"value":{"text":"Undecidability of the theory of finite nearfields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117270$932F3155-0716-424D-907B-D0210BE6632A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd49fde6bd35fe9853de94f4f446e3479e2953d8","datavalue":{"value":"0667.12009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$3BB56BC6-E94E-4B42-B72D-0EB0A6C97670","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2baddd0ade9eb39c453f1dab295c85d508a0ba68","datavalue":{"value":"10.1007/BF03323236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$B05DA476-D7BB-4F3A-B8DD-B4F9022F9994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$BB0293CE-4AA4-408A-AC36-38B6C6154919","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12982252bdbf08365fdfe453232fb6e734596979","datavalue":{"value":{"entity-type":"item","numeric-id":189241,"id":"Q189241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$372BDF73-4115-47B1-8954-4B67FFF4763A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1117270$FAF24CD6-3C0C-4D9A-B30F-3B4F8D37541D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f092a790dc165c69538c957d10ff758a5e25a41b","datavalue":{"value":"A well known result of James Ax from 1968 states that the theory of finite fields is decidable. Nearfields are defined by omitting one distributive law from the skewfield axioms. Hans Zassenhaus showed in 1936 that with seven exceptions all finite nearfields are Dickson nearfields and hence are derived from finite fields by suitable modifications of the multiplication. These results might give rise to the conjecture that the logical complexity of the two theories is comparable and that the theory of finite nearfields is also decidable.    By using methods developed by Cherlin-Jordan it is shown in this paper that the theory of finite nearfields is in fact undecidable. Moreover, it is shown here that the theory of finite Dickson nearfields and the theory of finite nearfields of fixed characteristic are also undecidable. The method of proof involves interpreting the theory of finite symmetric graphs via two intermediate theories in the theory of finite nearfields and using result of Lavrov (1963) which states that the former theory is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117270$DB20AB77-032B-43C0-9620-0C5538F65993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a9a3ba8b8441c558f3112e4fc401d28f3275fea","datavalue":{"value":"12K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$C2A13C1C-279B-48F4-87B3-22781B1B776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$58A2F179-5B75-4B35-993C-DCAC72F79885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$1879A1C2-04C4-429D-914F-3CACEA97F599","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7744c6ee04b4dba2664fa87431a2d2fc15abdafb","datavalue":{"value":"4091623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117270$BBA5FAB0-9F5D-4588-BC70-296B8AC148A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1266852663bb5e5205a2bf4d2776abedc1627618","datavalue":{"value":"the theory of finite nearfields is undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117270$EA21C0F4-FA6A-419E-9579-6AB90B7E11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4059654f42187720f33c2ff44ad251b6638b01ed","datavalue":{"value":"finite Dickson nearfields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117270$C86D6911-46BA-43B9-9145-3133018C4695","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2f0c6a2a632448b70a96b63260afba68b6668588","datavalue":{"value":{"entity-type":"item","numeric-id":807684,"id":"Q807684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$A364EDC2-FC49-40E6-BE68-5B8ED41A4DE6","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":"Q1117270$30C62AAE-CD0C-4D59-A450-87A965D8A289","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$715D208B-305D-4B27-A5DE-B9707F4FF9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d80e19b4de2c8f936a1983368826d71710daa6","datavalue":{"value":{"entity-type":"item","numeric-id":1074575,"id":"Q1074575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$12A58A76-BCA8-4E0C-8F5B-3182CD2B01D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70215a7128966abcb4de06fb0e8948c3e73c982","datavalue":{"value":{"entity-type":"item","numeric-id":2556358,"id":"Q2556358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$231F5AB8-4E49-4A44-B4D7-3BB28A523E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a40e6575dcf295ba57398291ce8d84a9796d54b","datavalue":{"value":{"entity-type":"item","numeric-id":5638425,"id":"Q5638425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$E802E1BE-84B6-4F9D-9331-FBE67D6DBFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09acec2c8facb643e49f5ef920e7d435acb2884","datavalue":{"value":{"entity-type":"item","numeric-id":2627072,"id":"Q2627072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$F58F0CF0-D8E2-454A-8350-8BDEA476E5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb56f2c0e6c202b641d2db83274bd3bebd51ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5833284,"id":"Q5833284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117270$FA5E8E29-75DD-4183-9608-92D7096CBCDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529cd1d01b8ec29a15ee4d16f9a9b73d1afa52bf","datavalue":{"value":{"entity-type":"item","numeric-id":6049665,"id":"Q6049665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02284ad085340a8216b0d67f55617252871b3142","datavalue":{"value":{"amount":"+0.8773379","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":"Q1117270$FECF6D36-E632-4849-A715-BD06EF098589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed02fc349d0afe5d6d3d089b68ccb02f53ca5d99","datavalue":{"value":{"entity-type":"item","numeric-id":5084676,"id":"Q5084676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f9e96d8814c19b9a84fcaccc88fcb2d298176d","datavalue":{"value":{"amount":"+0.8352003","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":"Q1117270$510554F6-09A8-43BE-B4BC-D7531A0E9529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40057b9aed217df991a97d3984292e0b5773a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1840392,"id":"Q1840392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f17c952466a02d44f645811b3a1d0176ae1084e","datavalue":{"value":{"amount":"+0.83156455","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":"Q1117270$968FFBA8-F5DE-4030-818B-D9660386DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27811a89b9329ebed11a0654097d74c5f57335a5","datavalue":{"value":{"entity-type":"item","numeric-id":5947117,"id":"Q5947117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf794b8659b379a3b385b3dbb268cd66d991d2a","datavalue":{"value":{"amount":"+0.82684034","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":"Q1117270$B41E5AF1-E44B-44DB-B44F-BBE2C26F07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687cd8a60c3bcf3bd52034a13a8ffa15bda3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1066194,"id":"Q1066194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cc44bd8f9c12b57e5f9bc2bf14c7b89e2f8577","datavalue":{"value":{"amount":"+0.8206057","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":"Q1117270$60F2E7D5-AFD4-4CE2-9737-C2CAE39245AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498fc10ad511d2ff54d5117c12640982bbe4b096","datavalue":{"value":{"entity-type":"item","numeric-id":2360396,"id":"Q2360396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8573cf4483271a43ad2edda5af3dc19d3c2f8a19","datavalue":{"value":{"amount":"+0.8188269","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":"Q1117270$9C3EC368-3DDA-47EC-9FD5-A435669028CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823f1c4c692ecb3a76a9c39db3da87f41947e231","datavalue":{"value":{"entity-type":"item","numeric-id":1906521,"id":"Q1906521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f7472442a28a18ac0f0cfc4b3fdedb92de7d1","datavalue":{"value":{"amount":"+0.8185264","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":"Q1117270$5121390B-FE45-46A9-8EEE-57A7C22E5F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbf31b0f9783f8f3394914bf5ca09230813ba3b","datavalue":{"value":{"entity-type":"item","numeric-id":3772199,"id":"Q3772199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fdaa84dbf9e16844ca7ac82df0cb013ca69d972","datavalue":{"value":{"amount":"+0.8182281","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":"Q1117270$CB50299D-57DA-4368-AFD1-88628D908387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38426b09bf546f76b792aee0d6c18a851a7bc788","datavalue":{"value":{"entity-type":"item","numeric-id":1074575,"id":"Q1074575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637a2c83887f040f91ffd8ed973881213ea8e2ba","datavalue":{"value":{"amount":"+0.8175072","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":"Q1117270$8BA6D9E9-A358-4EB4-A305-F950FA07F322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a754e80c30fea91523bfd2259f99c35c351eac","datavalue":{"value":{"entity-type":"item","numeric-id":1957347,"id":"Q1957347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e79111c7dfebe5bb8e41af66cbb01d7afaee47d","datavalue":{"value":{"amount":"+0.8149041","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":"Q1117270$927E4DD4-81E2-4A4B-9CDB-5310A85E4131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the theory of finite nearfields","badges":[]}}}}}