{"entities":{"Q1599512":{"pageid":1610252,"ns":120,"title":"Item:Q1599512","lastrevid":43237424,"modified":"2025-07-22T16:37:07Z","type":"item","id":"Q1599512","labels":{"en":{"language":"en","value":"Defining integrality at prime sets of high density over function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753100"}},"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":"Q1599512$9ADEF8A0-6716-4DF2-9FD3-3671EB3F1B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a0f7235c9357025d7c139ddea5725a1bb8f5191","datavalue":{"value":{"text":"Defining integrality at prime sets of high density over function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599512$7CF2BD92-5985-4DC7-8A13-42A4637C6DB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f0b7ea3c15fca4d55c7c06ca4eadc3c942587d5","datavalue":{"value":"1014.11077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$70678A05-FD52-4399-A6B1-DDDA5E259EAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b618afc0da1e585f627b766ac78978b03311b47b","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599512$6A0527B5-34F3-4BAC-B11D-92029ECC7C4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599512$7F171293-42AC-4706-99A7-A4AC5804DA26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f68db7820fe82f49f837868cefbda566273ef21","datavalue":{"value":{"time":"+2002-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599512$77D40434-74C0-40EB-BB41-5D21CE738FA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6931f50f68e455ab869e84ae803fbc9c3e066ca6","datavalue":{"value":"Let \\(F\\) be a function field over a finite field \\(C_p\\) with \\(p>2\\) elements, i.e. \\(F\\) is a finite extension of the field of rational functions \\(C_p(t)\\) in the variable \\(t\\) and with coefficients in \\(C_p\\). The author proves that for any finite set \\(S\\) of \\(F\\)-primes and for any \\(\\varepsilon >0\\) there exists a set of \\(F\\)-primes \\(W\\), of Dirichlet density greater than \\(1-\\varepsilon \\) such that \\(S\\subset W\\) and \\({\\mathcal O}_{F,S}\\) has a Diophantine definition over \\({\\mathcal O}_{F,W}\\). Here \\({\\mathcal O}_{F,W}=\\{x\\in F\\mid \\text{ord}_qx\\geq 0\\), \\(\\forall q\\not\\in W\\}\\) and similarly for \\({\\mathcal O}_{F,S}\\). A set is ``Diophantine'' if and only if it is positive-existentially definable in the language of rings (which contains symbols for addition and multiplication), augmented by a symbol which represents an element of \\(F\\) which is transcendental over \\(C_p\\) (that the language just described suffices for the construction does not appear explicitly in the paper but follows from the given proofs).    As a consequence one obtains that if the positive-existential theory of \\({\\mathcal O}_{F,S}\\) is undecidable (something which is expected to hold true for any \\(S\\) and is known in several cases) then the positive-existential theory of \\({\\mathcal O}_{F,W}\\) is undecidable as well. Moreover, the author contrasts the result against a question of Mazur whose analogue in the case of positive characteristic would imply that \\({\\mathcal O}_{F,S}\\) is not existentially definable over \\(F\\).    Results for number fields, of a similar type as the article's, have been obtained by the author and B. Poonen. In the reviewer's opinion these results combined show that Mazur's question is intriguing and its answer unpredictable for the moment.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599512$EDC1C6CB-4F6D-4DCE-AC2E-A2E399C97C9F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"65e6ff36a671ee721c8b7b87cfab85ae5b757ede","datavalue":{"value":{"entity-type":"item","numeric-id":953159,"id":"Q953159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599512$3D519B71-F4C7-439E-BCE8-4DFD3C202FEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$39D1BB61-8DD0-445C-9461-812C03AE9BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$9BDDF9A5-26B0-42C1-B269-98DED32BC04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$A6D6A751-78E0-4729-B83D-CD5297DB916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$A0E0FE54-8314-48B6-9768-92B897D5689C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0fb96ec6644cf96b28da43957fb438e66c28cb3","datavalue":{"value":"1753100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$FF224182-14E7-426D-80AF-989D83FD2E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f30b9eb39e25bc77e52913ed7860cf5cee059e","datavalue":{"value":"Diophantine definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599512$07D0A931-FC25-4F00-A645-05E57E760140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d945f8419a7e8d43e938f9019542c571e2f91df6","datavalue":{"value":"Mazur's question","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599512$48425437-C5EC-4536-A825-96B659B299E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79ad6430269b54388f4ec89a588557d48e71cc","datavalue":{"value":"function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599512$ADFDA2B9-F0C4-48F6-B8D8-DDEADDAD033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2e55798c5506214b3b67db5b449fe27a61ad1d","datavalue":{"value":"\\(F\\)-primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599512$D55F3D1A-8219-4150-9972-A56F337A43CC","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":"Q1599512$624E5477-C217-47A5-9958-79A22230489F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b2159ac4d1fc98aa475a0ba94833f6b6abe98ef","datavalue":{"value":"https://doi.org/10.1007/s006050200005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599512$076DBC9C-8265-4853-9D96-3CC14388FF90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e22e26a6628f9b39c5d1ca91f5da06006958469e","datavalue":{"value":"W1990640726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$DCFD8908-8C0C-4780-AD32-BCB106F01E3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890f6d8afe026ec8386ae1b69d8eaed94d36b922","datavalue":{"value":"10.1007/S006050200005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599512$50B00DA6-02EE-4322-9ABA-20BF17E360A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac4da036b46853b479fe4979d2ba7938f8bddd7","datavalue":{"value":{"entity-type":"item","numeric-id":1974973,"id":"Q1974973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a707ff6a7d2e8f14404967e992881a4e08e88be9","datavalue":{"value":{"amount":"+0.9652331","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":"Q1599512$85A3CF48-81A6-41EC-955E-67C0E7B386B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7afd8e38cc4bf67b1a626001c061927672e497f","datavalue":{"value":{"entity-type":"item","numeric-id":5408184,"id":"Q5408184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac9b912687fa13b50be70b365eacd3f958e0a31","datavalue":{"value":{"amount":"+0.88343394","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":"Q1599512$808C8EF5-D106-40A1-A0FD-A4593776EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c813d8bcdb55c1e326333bd5c078994ed57772","datavalue":{"value":{"entity-type":"item","numeric-id":2909485,"id":"Q2909485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6adbb0bb84ec739ce45afdd4af8bf091fa8c07","datavalue":{"value":{"amount":"+0.8766977","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":"Q1599512$6AF33D00-D908-4619-BB71-F05C7A7D5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdb89e272fbe04d86c9465c85819050913e98fb","datavalue":{"value":{"entity-type":"item","numeric-id":1310439,"id":"Q1310439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3006e96f7ff954b662868f9198ba63d8c090180b","datavalue":{"value":{"amount":"+0.8745362","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":"Q1599512$CE726225-3FF0-4846-8ECC-3BDA6BCD190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1131518e1a091fc4b11462241b7e02109a47e860","datavalue":{"value":{"entity-type":"item","numeric-id":529439,"id":"Q529439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcaa736a333b0f991f15a64b3f5e126451b23d5b","datavalue":{"value":{"amount":"+0.87243575","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":"Q1599512$B4BB7921-9D18-4810-A1C9-A3D889B43FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d89b0ed0dad30d97a86204106cc0670499b5e7","datavalue":{"value":{"entity-type":"item","numeric-id":2283198,"id":"Q2283198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3395db121752a886ee21b523dc944d05007e63c5","datavalue":{"value":{"amount":"+0.8705199","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":"Q1599512$00FAD955-930F-4E50-A51A-E985CCA1AB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731ff5d72c160766debdfdc628fb3ed6deae026","datavalue":{"value":{"entity-type":"item","numeric-id":1987098,"id":"Q1987098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3709e840700297ba9f13fb42a827373428466a3","datavalue":{"value":{"amount":"+0.86766434","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":"Q1599512$93701D0E-9AA2-4FB5-A7C7-A4A2387337E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbf2815ab5cf7ebcdb710f0469f7e34050711a5","datavalue":{"value":{"entity-type":"item","numeric-id":4668460,"id":"Q4668460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c8c9c9f6def8751bc0b4b018111dd3abb8071d","datavalue":{"value":{"amount":"+0.8668287","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":"Q1599512$8023A303-F1A2-42A6-A73F-1E2B313807C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f081f6200326c72cd4ba5e58dd4da5d1d3d67cc","datavalue":{"value":{"entity-type":"item","numeric-id":2808220,"id":"Q2808220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9151ee7d75631ba6750a71ca37adcfe75397a114","datavalue":{"value":{"amount":"+0.8659599","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":"Q1599512$39C8F3CF-0212-4BF1-9D57-56652C81F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faca1c6bcf00c2edf8d2f2869c29e4cd32994ab","datavalue":{"value":{"entity-type":"item","numeric-id":3835543,"id":"Q3835543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135b65b0e6f7f24b81b31c7adefe7c70ed697782","datavalue":{"value":{"amount":"+0.8654953","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":"Q1599512$67C376BE-1C28-4945-BFF4-1FE92A3E5BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1599512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1599512"}}}}}