{"entities":{"Q1894971":{"pageid":1905713,"ns":120,"title":"Item:Q1894971","lastrevid":71710962,"modified":"2026-04-14T00:02:44Z","type":"item","id":"Q1894971","labels":{"en":{"language":"en","value":"On Rumely's local-global principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780024"}},"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":"Q1894971$1BCE9117-04F5-41F4-9AA8-94D9B365B074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f184b71a12dbe59972395e9933ffde4c180dea5","datavalue":{"value":{"text":"On Rumely's local-global principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894971$995047C5-AC81-420A-B470-248F65946509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d46ac7ff9b659aa8e595241bf0ee039cc754b81c","datavalue":{"value":"0857.11033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894971$9C85EAAA-1173-44FC-9A50-CAD6A7992280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd81d785303d1ce03a69785799614914f87f9688","datavalue":{"value":{"entity-type":"item","numeric-id":1106271,"id":"Q1106271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894971$E69FB822-683E-4FA2-8DAC-6922D817C0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521cd7a470aad3a3903aadfca71b5984c91c7a88","datavalue":{"value":{"entity-type":"item","numeric-id":411386,"id":"Q411386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894971$1668A95E-4D0B-42B0-B95F-C3ACF2FB4284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"131055930a0ca84141f9ed5d18ceb5905384fc70","datavalue":{"value":{"entity-type":"item","numeric-id":415265,"id":"Q415265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894971$E5DA9E73-9939-47E5-9700-59297EC3BCF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4e9f74f433df1c7c3e6e0c6ffc626db22235172","datavalue":{"value":{"entity-type":"item","numeric-id":169192,"id":"Q169192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894971$1542A4B6-F912-48D4-AABB-143C3165E8ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894971$CE338560-BC72-437B-B4D7-A3FAE3B2F813","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dae5dc4ed2dfa31ca0e615989a3e715eb0fe6519","datavalue":{"value":"In 1970 \\textit{Yu. Matiyasevich} [Sov. Math., Dokl. 11, 354-358 (1970); translation from Dokl. Akad. Nauk SSSR 191, 279-282 (1970; Zbl 0212.33401)] completed the proof of a negative answer to Hilbert's 10th Problem: there is no algorithm for deciding the solvability of diophantine equations over the rational integers. It was then conjectured by Julia Robinson that the solvability in algebraic integers (of arbitrary degree over the rationals) should be decidable. This was finally proved by \\textit{R. Rumely} [J. Reine Angew. Math. 368, 127-133 (1986; Zbl 0581.14014)] by introducing a `capacity theory on algebraic curves'.   In the present paper the authors give a direct algebraic proof for Rumely's result: Let \\(R\\) be the ring of all algebraic integers in the algebraic closure \\(K\\) of the rationals and let \\(V\\) be an affine algebraic \\(R\\)-variety, irreducible over \\(K\\). If for every prime ideal \\(p\\) of \\(R\\) the variety \\(V\\) admits a point with coordinates in the localization \\(R_p\\), then \\(V\\) admits a point with coordinates in \\(R\\). This local-global principle together with the fact that the theory of the pair \\((K,R_p)\\) for each \\(p\\) is decidable gives an algorithm for deciding the solvability of diophantine equations over \\(R\\).   The authors also strengthen the above local-global principle by including archimedean primes and certain rationality conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894971$47181745-0CF1-4EC3-9049-D8D4318AC21B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"321f34e2e95fe71a963dfb0e9957de8369b00fc4","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894971$17DC8DDA-6039-4EAB-B32F-A9A5F6FEACD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8ae34b400a976bf91ed2d02545387acd7b31f48","datavalue":{"value":"11G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894971$8E6D7379-78CD-4F81-8B69-40A65BC36A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894971$5A008FA3-31A7-4614-BDB4-EA9FB3A1EA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894971$78285560-33D0-4DA2-AE53-B62118EB3EAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c952a81a9a9b012c5f89b466e84d92580c00ab","datavalue":{"value":"780024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894971$FABE7F60-554C-4456-AD56-0AB7B7DBC040","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cd694a1ceddc890d56567c3e53f75738015abd","datavalue":{"value":"Hilbert's 10th problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894971$F4E4BF60-D8B3-4F57-89C8-87D44190FEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d353103a4f32d86c0541b13f52df719fc1ce9396","datavalue":{"value":"algebraic integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894971$350EEE8F-CF6A-4D24-991C-C838001FF343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894971$C8C32B4F-EA23-434E-84B2-0A13CBE0BB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e25ec2dd0b282fcced1f8f869b9f2cf413c170","datavalue":{"value":"solvability of diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894971$4690AA6E-B987-49F0-9CB9-0B8D750145F5","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":"Q1894971$839B3914-9F9F-4F0D-871B-E961F0924FE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2a8010aabeb92a576dd223d9c19f77eedb17e5","datavalue":{"value":{"entity-type":"item","numeric-id":3704002,"id":"Q3704002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba1d21a6485a168f0914d736513b84094968eac","datavalue":{"value":{"amount":"+0.78049755","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":"Q1894971$FB7AA673-2D4A-4D91-A6E8-18BD19DABF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea768d57e4be8eac1086a71b172babfea3db61c","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a277a0eb6bf5539ab91c6e9cedfc56d91e9727d","datavalue":{"value":{"amount":"+0.7340546","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":"Q1894971$E3F25545-65F8-4CAA-A4C8-F3AA5AC406C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0fe3822dcb82d43bb6410a3e47e6b65e5c8adf","datavalue":{"value":{"entity-type":"item","numeric-id":4501636,"id":"Q4501636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c744304708fc8638ff9ccd1801b7a590d350617c","datavalue":{"value":{"amount":"+0.7324525","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":"Q1894971$EE257135-DC76-494A-92B1-2A12A32D4965","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":"da55266a24848b37ca94f31ecb0f525b661de839","datavalue":{"value":{"amount":"+0.7321258","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":"Q1894971$CD4F8FFD-A4B7-45E4-8FB3-FD5AD8A7B3C8","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":"89d13833f9592847b0ffc02d4d8a92b87dcc58d2","datavalue":{"value":{"amount":"+0.72053826","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":"Q1894971$DA6B4707-214E-4A0F-B9A6-C6932F2A760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4aa467d721272fe29d2b60145c509b23897200","datavalue":{"value":{"entity-type":"item","numeric-id":4302339,"id":"Q4302339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675257141b3e37a52790e833331526d0473bc418","datavalue":{"value":{"amount":"+0.7113885","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":"Q1894971$F558E6A3-A2A6-45C5-B6B1-91712B3DF987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8480b52d3271497641ebbb836eaf2efc8dd71134","datavalue":{"value":{"entity-type":"item","numeric-id":5071023,"id":"Q5071023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5177d151699e824e4647316d5b3bbdd7b011f0","datavalue":{"value":{"amount":"+0.7111208","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":"Q1894971$37D2F848-1F80-44F2-AC52-838AD565FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c0e7345528d78a18857c78dc5082ea756f2e76","datavalue":{"value":{"entity-type":"item","numeric-id":2715540,"id":"Q2715540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec3e9bdbf9e2339fc63713bb0eeae8933a3891e","datavalue":{"value":{"amount":"+0.69470584","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":"Q1894971$EBC77D5F-8596-47DB-A47C-2AD7D672B2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900e06466d49b90b1ed30457626f0fed1eb1bfd4","datavalue":{"value":{"entity-type":"item","numeric-id":2715530,"id":"Q2715530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29deebc7d265e3eb62f23496c07a315df34ac688","datavalue":{"value":{"amount":"+0.6946372","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":"Q1894971$E81D9EA9-52FE-491E-9E4C-FAF24391B473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32533971c22c5e304d5e806b402c5ae4573251b4","datavalue":{"value":{"entity-type":"item","numeric-id":4419573,"id":"Q4419573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679aad7679393a7a5e8ae1940a5c3f5788ad7562","datavalue":{"value":{"amount":"+0.6938301","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":"Q1894971$3C0887FD-A5DD-46E8-88DF-D8C6CDF42CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Rumely's local-global principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Rumely%27s_local-global_principle"}}}}}