{"entities":{"Q2510101":{"pageid":2520844,"ns":120,"title":"Item:Q2510101","lastrevid":79029506,"modified":"2026-05-06T12:59:07Z","type":"item","id":"Q2510101","labels":{"en":{"language":"en","value":"A universal first-order formula defining the ring of integers in a number field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6323737"}},"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":"Q2510101$D11674A8-7D7F-46C9-8822-94433177B445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"934910b45ae6fac169313a3b2b280d49968c884c","datavalue":{"value":{"text":"A universal first-order formula defining the ring of integers in a number field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510101$4133B03B-3C0D-4EFD-8750-CB167C5EA509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cec67a8190aac1e4b98d192126e42d4d2be011f3","datavalue":{"value":"1298.11113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$EACA83B4-8E9F-4124-AFA6-0B1C9848E1FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75e9f0334904054176587e214ef71f0dd5504b66","datavalue":{"value":{"entity-type":"item","numeric-id":2221692,"id":"Q2221692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510101$BD19B780-2F25-49B6-98D0-DDCB8BF20F07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510101$D1544EE7-0956-4DC1-BA4C-0A8D762694CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b5c982f599539b2f362cfa006a40560fe26e036","datavalue":{"value":{"time":"+2014-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510101$EFC542AD-FB12-40AF-8B71-FACEE9F6454E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cafad38e3f6a6021f41ae9258937ab00467e535b","datavalue":{"value":"https://arxiv.org/abs/1202.6371","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510101$96DD643A-0FCB-4367-9E86-0FAB00290D7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46df0d5c9b2a32f7969f433b736aa52f4a4eb882","datavalue":{"value":"The main motivation for the author comes from a natural extension of Hilbert's tenth problem to a commutative and countable ring \\(R\\), whose elements admit a fixed representation by integers. More precisely, for such a ring \\(R\\), it is asked whether there exists an algorithm that decides about the existence of solutions in \\(R\\) of polynomial equations with coefficients in \\(R\\). When \\(R\\) is the ring of integers of a number field, the question is an open problem, although it has been answered in the negative in many cases. When \\(R\\) is a number field, this becomes a classical and difficult problem in algebraic geometry, namely that of finding rational points on varieties. A connection between these two settings would come from an existential definition of the ring of integers \\(\\mathcal O_K\\) in the number field \\(K\\). Unfortunately such an existential definition is still out of reach. The main result of the paper under review is a first-order universal formula defining \\(\\mathcal O_K\\) in \\(K\\), which generalizes an analogous result for \\(\\mathbb Z\\) in \\(\\mathbb Q\\), obtained by \\textit{J. Koenigsmann} [``Defining \\(\\mathbb Z\\) in \\(\\mathbb Q\\)'', Preprint, \\url{arXiv:1011.3424}]. The proof relies on ideas of \\textit{B. Poonen} [Am. J. Math. 131, No. 3, 675--682 (2009; Zbl 1179.11047)] and Koenigsmann [loc. cit], using some class field theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$FA7D7D50-5AFF-408F-9723-C811828B3B63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"697839d9b6816b002afef069ff5bb57cf003534b","datavalue":{"value":{"entity-type":"item","numeric-id":303821,"id":"Q303821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510101$C2ADC0D5-4C48-4479-A66E-EC602585D631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$B47FACF8-9E8D-4FD4-A1F7-EE4A5544E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$B334F29B-543B-46B9-BDC2-81279B9BD901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f1cb07288bba9b47801526212098ae83d5ba151","datavalue":{"value":"11R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$20A6C33E-DD0B-4CF3-B0A0-06ACD0E6DD31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f098ae76a84b97bf97af7a4592db72c261cf987","datavalue":{"value":"6323737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$3A4500E2-C8C7-4334-B582-B7F5F1EC33E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$3EA26C96-FF05-4AE8-9E4D-C1204FFAD53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0891251b36c2968a15a6001d6b017c67adb4fb9e","datavalue":{"value":"diophantine set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$5E56D9FD-98AD-4581-9E9F-AAAB09E5D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f6391ce037b7e97d9e47ff8ff2c68b18e74789","datavalue":{"value":"quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$7038E760-3A3E-414B-B9D0-47192FA7037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$EC46BED8-1142-4ABF-BF62-447189122237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329752592ba66b8ca4e628bed766aee2850635c5","datavalue":{"value":"Artin reciprocity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$B505DC89-6D21-4466-A68B-3D81464D6169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8a02dc933a7df5b9b34af62dba4e257b9f9336","datavalue":{"value":"Hilbert symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510101$726563E4-334E-4858-83EA-6CE3FFA90953","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":"Q2510101$7D9CC03D-CF44-4FE7-AE05-0ECEF7900A7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f463033b95c558bce9921c3054f721faab0a3fc","datavalue":{"value":"W2963890724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$B7439E75-B1C9-4117-9DE2-986E97CC2F45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2de4f4ade5931ff85055fea64ec97417ec2ce0b5","datavalue":{"value":"10.4310/MRL.2013.V20.N5.A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510101$429C6049-92E5-47CE-86A3-137DDEF2E6F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99db3810675937e061bae76bcd9fdc6476cd5e7","datavalue":{"value":{"entity-type":"item","numeric-id":1203759,"id":"Q1203759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4c90c1dd1da3dc22935c3a9f12d40d1d1c8f5e","datavalue":{"value":{"amount":"+0.76650894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$5F66CB96-E7DA-440A-A16A-6174BC7AAE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef20c9eaed5d3c2f190f81ad49b9b5d3ee3feb7d","datavalue":{"value":{"entity-type":"item","numeric-id":4650261,"id":"Q4650261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302bc220a364860de799b49b31d1292771b2dc88","datavalue":{"value":{"amount":"+0.7564732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$CBD4EE19-D7C1-493B-B6D8-A07B85B940E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569d39fc1c260bc0bbb71868638cb15b49cb33b9","datavalue":{"value":{"entity-type":"item","numeric-id":1580494,"id":"Q1580494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844a0726e8afdc5dcb5c4278c898b7ffe0fccb96","datavalue":{"value":{"amount":"+0.7561414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$A17A4998-FF56-41B1-906A-A38D997D378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bb643236b224f26b8a9fc7c8297a384fbea98f","datavalue":{"value":{"entity-type":"item","numeric-id":843611,"id":"Q843611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663e53b5095704c6878ff9e3b036db9326827b08","datavalue":{"value":{"amount":"+0.75334823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$18C7DD3A-D0A0-4E0A-A1CB-390D3087E3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce7c0b944b69bf1d0758cf2b0e86fc30b81d906","datavalue":{"value":{"entity-type":"item","numeric-id":785335,"id":"Q785335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6808aa74bfe78d0033562b98cd99deecdac6870","datavalue":{"value":{"amount":"+0.75241387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$EE0E016A-C108-42BA-9776-0AE1CB11F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a276daef5f62deff8ba20a785cc694119af66179","datavalue":{"value":{"entity-type":"item","numeric-id":4015864,"id":"Q4015864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591ffb8293788abb0a6f713733d261c5ed11d936","datavalue":{"value":{"amount":"+0.7493167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$C13C972C-848C-4474-A284-5C2250C748F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a58c36441569f2e973c524dc0fd8a0f127dcac","datavalue":{"value":{"entity-type":"item","numeric-id":1331916,"id":"Q1331916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566e2eb63d9644bc7039819eda6e06255e1eccf7","datavalue":{"value":{"amount":"+0.74441034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$A8228B09-1C81-48F3-92A9-ACBDCFDC82CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fe37a2335e1a28e6718da5dda2efce4ae13cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2406359,"id":"Q2406359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69124fec3abdd550bd796de841991a14c728a041","datavalue":{"value":{"amount":"+0.7416321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$1A504CED-AD90-4DDA-813C-D12230C064F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d618df76ee452f13f3e799a67322dd825936","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88482aaa113db62174740cef9b5beeb8bcffee5f","datavalue":{"value":{"amount":"+0.7377595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$BD2452EE-B5C2-4289-89E1-61646417175C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b384febe5181e049ac14a9d5633ce84a920ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3149994,"id":"Q3149994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1252cefe716f412e52aeb003f8aeca4020dd73f","datavalue":{"value":{"amount":"+0.7340561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510101$7F4B3751-565F-463A-8DE9-F1CEED7D95D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A universal first-order formula defining the ring of integers in a number field","badges":[]}}}}}