{"entities":{"Q2910987":{"pageid":2921712,"ns":120,"title":"Item:Q2910987","lastrevid":42487833,"modified":"2025-06-28T19:01:38Z","type":"item","id":"Q2910987","labels":{"en":{"language":"en","value":"Definability of the ring of integers in some infinite algebraic extensions of the rationals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6081351"}},"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":"Q2910987$FD8C0B97-3CC3-4662-BB80-85FC306E2480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e18aa2b3eb18b1bee2a1b3f2e73f53aacb0dcb5","datavalue":{"value":{"text":"Definability of the ring of integers in some infinite algebraic extensions of the rationals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2910987$F950B6F6-62A5-4DE8-9D6E-65C0FCBB4C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7f2c4e11748d5b775c5783e86dab2b0214432db","datavalue":{"value":"1281.11106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$5B072470-6CE6-4B0B-84F5-E14C75183336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"864b342448d37333ddd2e89711535507c06f212d","datavalue":{"value":{"entity-type":"item","numeric-id":558422,"id":"Q558422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$9457BC1A-CBA5-45C3-8DBC-09B8428A4D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"392bef464532f1fb6c9d97acd60a5df3e0795638","datavalue":{"value":{"time":"+2012-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2910987$29F7A8FA-AC2A-496A-8F88-B22BFDB84E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$1045BFEA-7BDC-436C-B75F-74857E3DC06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$84DA044B-6EFB-468B-A7B7-A633E798251E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2123e8bc5c97d983a521177b5191967ef2cdb3","datavalue":{"value":"6081351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$F17402E9-3BE5-4BD6-AF7A-03ED5253F37F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910987$89BAE5E0-16E9-4359-92A5-6BC94391BE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910987$75FC9BD0-2FB1-4CDD-9A40-A7618FA544CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223906f38d0869ed5fe261bdaefd9bc7b4a5879b","datavalue":{"value":"infinite algebraic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910987$C571DF6C-B62B-4050-B2E1-41F078620631","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":"Q2910987$0244B252-7628-43C7-A3FF-8949944037D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26fbdf6018ab09d7da029609a1f151be3882d7f8","datavalue":{"value":"https://doi.org/10.1002/malq.201110020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2910987$E49D3259-905E-4AA3-BCC0-9201DABB656A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f051e5c07c4bc8c6840004164297732735bb9a2b","datavalue":{"value":"W2010309832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$53CCDF6A-6807-45FE-9AD8-9F98DB75D2E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef439a3ec7e18fb2994f6fa506fb395e40d2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3281069,"id":"Q3281069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$537FF950-B3CF-4BA8-A037-74074A2E13FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4234274ae2a187938224d5bbc7f4d5d107a18608","datavalue":{"value":{"entity-type":"item","numeric-id":3926549,"id":"Q3926549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$C5194DDC-CE5B-4F33-98E7-89AC6BB68F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f0259d1c5fa246553c7b9d9ba309a770708a08","datavalue":{"value":{"entity-type":"item","numeric-id":1580494,"id":"Q1580494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$CDE49DD8-0314-48E0-AC29-F9E7D78895E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14020c630111f9ea5c0f1902ffb97c1e3c6d305","datavalue":{"value":"10.1002/MALQ.201110020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2910987$F6BF6B2D-ADC6-4D60-9944-5C0EC22F4E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532d5040f3d057bfa2d66af9cf279467fbd18e33","datavalue":{"value":{"entity-type":"item","numeric-id":1659540,"id":"Q1659540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422846253682c56634b8b45cb95fa8daef65c0e4","datavalue":{"value":{"amount":"+0.8292525","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":"Q2910987$45CE7FB4-9DD9-4A88-BD5F-09632F4A1A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabb7570effb2f156a9fff4bb98f02cb424c03ff","datavalue":{"value":{"entity-type":"item","numeric-id":5212403,"id":"Q5212403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d918a2b5c8b03e7c5d083a8cb4f7777ea1b55cf8","datavalue":{"value":{"amount":"+0.7669442","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":"Q2910987$984C32A9-2199-4B7D-9894-7AD84D2166BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f364676489c51bf8f80b8de56198eab1783ec15","datavalue":{"value":{"entity-type":"item","numeric-id":5119226,"id":"Q5119226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41c6e2422e2c3425db2035d5003c5515049306e","datavalue":{"value":{"amount":"+0.75982636","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":"Q2910987$3A7215F7-F983-4A7B-9570-9E3BC4422414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9b18c09178e3f8147ba9942d7850e669bda927","datavalue":{"value":{"entity-type":"item","numeric-id":2944799,"id":"Q2944799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500ff4ec7fda0683e95bb67c0860d3677557d784","datavalue":{"value":{"amount":"+0.7263944","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":"Q2910987$F63E87EE-6586-43EB-BE2D-5FA70A087596","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":"97eaa61ec0af91b0100446514303ccd365ddebe3","datavalue":{"value":{"amount":"+0.7249948","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":"Q2910987$9B7CA794-6776-4EBB-A368-55E9282F3FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4810f8be2001d4ef4ef615575ee11925ce662ef9","datavalue":{"value":{"entity-type":"item","numeric-id":312327,"id":"Q312327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f2ae1f9bc41f7a7c8c4114afe7751d99267c57","datavalue":{"value":{"amount":"+0.72064114","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":"Q2910987$0C86807E-5D54-41A7-A785-F3920C859A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4b167a99cd60e605718aa073c0752b3a4c4e72","datavalue":{"value":{"entity-type":"item","numeric-id":4508178,"id":"Q4508178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ed5ca86105992dbab610334551d66d09eab85e","datavalue":{"value":{"amount":"+0.7159344","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":"Q2910987$E16984AD-636F-4D52-9A8E-BC409BE5CB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b67b91b65502c23c0c1b1fe1d767710f7a6ba92","datavalue":{"value":{"entity-type":"item","numeric-id":2788653,"id":"Q2788653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a78de63f575bc45cdac55573c4fd74fa67b946e","datavalue":{"value":{"amount":"+0.70874417","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":"Q2910987$78E85DF2-49C5-472C-841B-363C899AA81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f63327d906e14016ddbfe6ac9f496f13b1c1f88","datavalue":{"value":{"entity-type":"item","numeric-id":701108,"id":"Q701108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ac2a1d3437f0824eb2a4613e78d1f693a411e9","datavalue":{"value":{"amount":"+0.6932935","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":"Q2910987$2CA81437-ABBC-4CB0-B925-F73F76E5FF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2354ac5ad85414147b06b02b9b3f060f5cb5f80","datavalue":{"value":{"entity-type":"item","numeric-id":4813802,"id":"Q4813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2218dd5672f41091e7e6b8844360acb3613d7d0","datavalue":{"value":{"amount":"+0.68825203","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":"Q2910987$7AFB42FF-826E-46CD-8FC0-106B88F83B85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$9298B848-DACE-4CB1-B84C-DEACE41F1AE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb818879d95dbd961ac91b41c0acc936b5c8e56a","datavalue":{"value":"The paper under review shows first-order definability (in the language of rings) of the rings of algebraic integers over infinite Galois extensions of \\(\\mathbb Q\\) such that every finite subextension is of odd degree over \\(\\mathbb Q\\) and dyadic prime ideals are not ramified. In particular the author shows that the ring of integers is definable over the field \\(\\mathbb Q(\\{\\cos 2\\pi/\\ell^n: \\ell \\in \\triangle, n \\in \\mathbb N\\})\\), where \\(\\triangle\\) consists of all the prime numbers congruent to \\(-1\\) mod 4. Combining this definability result with undecidability results of Julia Robinson concerning undecidability of the first-order theory in totally real rings of algebraic integers, the author proves that the first-order theory of this infinite extension of \\(\\mathbb Q\\) is undecidable. The definability and decidability results are generalizations of some results of Carlos Videla who showed that the integers are definable and the first-order theory is undecidable in infinite extensions of \\(\\mathbb Q\\) where the degrees of all finite subextensions are divisible by a fixed finite set of primes only. The proof technique is based on methods used by Robert Rumely to show first-order undecidability of global fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2910987$7E4AFB39-4C05-4E34-BD3A-AB8CF9BC288B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26c19f81fbafe8abd6879ee1939e0021ae2f99f9","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2910987$602F7C04-14D5-446F-AD70-49F43E6B1A60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2910987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2910987"}}}}}