{"entities":{"Q2788653":{"pageid":2799391,"ns":120,"title":"Item:Q2788653","lastrevid":52461062,"modified":"2026-01-22T17:11:45Z","type":"item","id":"Q2788653","labels":{"en":{"language":"en","value":"A note on the Northcott property and undecidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6543235"}},"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":"Q2788653$5EC8C5D1-0291-48D0-AD9C-D915B8DDD374","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8f1bdfebc0977d7c35720872b1f56ba5a0dff96","datavalue":{"value":{"text":"A note on the Northcott property and undecidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2788653$FF418C1D-EF7F-495F-9928-03EA5454733D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bd3a7c1f14d242541f638c9a525f8fc2bd37718","datavalue":{"value":"1347.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$1AAEC2B7-06AC-4158-85AC-949CAC1903B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01b7f37608d9f87bfa2998bb736dc8e29f05f57a","datavalue":{"value":{"entity-type":"item","numeric-id":2759195,"id":"Q2759195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$42AFD268-4278-4CA7-A74D-01A73BEF401E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae32200a24f49d6aacee9b3b79e298bcf299fc2a","datavalue":{"value":{"time":"+2016-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2788653$9E1BE0F3-2D63-43C0-8317-E3D5042E76AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$B1D860EF-B145-4984-8285-14689C689B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$B892B181-465B-410C-9ED6-783D931E3205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c58c91ba6ac947e2fd708917bdc5cad0e229b528","datavalue":{"value":"11R80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$077133F2-D245-4442-B274-AD8BC60993DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d774e5be30567821223142c7261ead58ae4c2e3","datavalue":{"value":"6543235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$2C4F1C8B-199A-4146-BC35-808E2B509229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b3675e0788ac9565d95ba29ef36c309d72f485","datavalue":{"value":"Julia Robinson number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$4770960C-B6CC-49A7-93FD-B8E32D9A0DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a35e66fe821e4762d8be597d4fb5b8a884103d5","datavalue":{"value":"Northcott property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$84DF976A-1028-415E-90F6-AF946235EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f6090000d45978084721f62ad9cd94f34d093d","datavalue":{"value":"totally real algebraic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$AD54F45D-8D2D-4B5C-8098-E6C0472BAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda2fcceb25b290ad7359a0c380e0b125bd3d2ee","datavalue":{"value":"decidable first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$3DFA3FBD-2C96-4B72-987D-C05E71447556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12cd2a691659381851fd50c791ba0e01bc0f6cd","datavalue":{"value":"rings of algebraic integers of algebraic extensions of the rationals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$65516062-AD18-4041-9F70-B01C37D7C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75fac5da99f39bb0759ff591a343dc163721de77","datavalue":{"value":"abelian extensions of \\(\\mathbb{Q}\\) of bounded degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$54B3E0F1-93EE-4B49-8A61-DED219E71B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c5fd08a3677015d21779b7c5a09bacc3b1c0a2","datavalue":{"value":{"entity-type":"item","numeric-id":503236,"id":"Q503236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$C18B1CD1-C51E-42AF-89CE-16FC97B5FC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"373e894b5f7994d1ca97217a575f49db4325d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":1111547,"id":"Q1111547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$1E27BECE-33C4-4A8B-91D2-5FDB0E1A0365","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":"Q2788653$B2473E2D-B4C3-44BA-9251-585BD0E47F05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"331cf9441c21883fb7be2bdee9f2c1c92290a340","datavalue":{"value":"https://doi.org/10.1112/blms/bdv089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2788653$547FBF5C-A80E-4E64-AB84-E02E697E9909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a631c62908be6ada841b0ceda1279b236036c4f","datavalue":{"value":"W2570786229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$5B69CC38-6155-45D2-82B2-11EC5EAADC8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c357aa838b8817831328430da4d968d3382986","datavalue":{"value":{"entity-type":"item","numeric-id":4317826,"id":"Q4317826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$1CBBF95D-1695-4E6E-84F9-8D3F3928B0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd254413a3ab0c0f099077e75b9a993d59d04647","datavalue":{"value":{"entity-type":"item","numeric-id":4235425,"id":"Q4235425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$1951F301-B6F4-4FAC-B597-D68582FD741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291a805c5552627db7b60d5f81d15032cd83cfd8","datavalue":{"value":{"entity-type":"item","numeric-id":5256624,"id":"Q5256624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$C033C2EA-31E2-40DF-8B42-4DFD5F26015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc263df1a2fd9a83799d270209de35721f3b68c","datavalue":{"value":{"entity-type":"item","numeric-id":4821147,"id":"Q4821147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$BDEC15AB-B820-4346-9EF8-6EAEAF929E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db70fa08fd3e69ccd8530750efa0cfb95b0a704","datavalue":{"value":{"entity-type":"item","numeric-id":2944799,"id":"Q2944799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$4CEAE100-E18C-4D00-A5E5-D3C2B9A7DCE6","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":"Q2788653$084CB3F5-4BD9-4027-BDE3-2E4F3DC7DF23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fa5891107547d55a833f98c08cde4dcef5f2966","datavalue":{"value":"10.1112/BLMS/BDV089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2788653$4A90FFC9-0E31-4C5D-830A-DB098CCCC3CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b137575b0ee5e463dfe3431d992906bcaa837cc8","datavalue":{"value":"The authors show a natural relationship between the Julia Robinson number (JR number) (which in the case of the ring of the totally real algebraic integers was equal 4) and the Norhcott property of a ring of totally real algebraic integers. They also show a relationship between the JR number and the norm of a ring of totally algebraic integers. As a consequence they show that any subring of a ring of totally real integers with the Northcott property has an undecidable first-order theory. This also implies that the compositum of all totally real abelian extensions of \\(\\mathbb{Q}\\) of bounded degree \\(d\\) has undecidable first-order theory. They also provide an explicit construction for \\(d = 3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2788653$03596F93-D38B-49B7-AAB0-4AE5A920123F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9b7bf9cd273aeaf91ec2e38cce549e5afc8f07","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2788653$5E23D79E-ACA4-4A6F-B833-94B6991B6659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d657d7c974ea1c9cff042bac0fcdfd6a3f4ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5232171,"id":"Q5232171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24240f0957985cb9fa77edac923f33d4ec8a8a76","datavalue":{"value":{"amount":"+0.8035112619400024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2788653$8E2AE319-3E7B-4413-AA0D-FE14B89D4BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb67d3b2cde5da8d12334c7f94fe39fd5240ee33","datavalue":{"value":{"entity-type":"item","numeric-id":633263,"id":"Q633263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e20c45a1ab528a2b63c1c2f9e70067a2354b82","datavalue":{"value":{"amount":"+0.7855321168899536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2788653$4217852D-C8EB-4228-94A2-D74EE07C541C","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":"679e13b90cf229498834dc862542416bd42088b9","datavalue":{"value":{"amount":"+0.7728093862533569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2788653$5B5B0493-C945-4CA6-B93E-1AE9B4605D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e8c719bc0ca7e2460f974974aa8149ae416512","datavalue":{"value":{"entity-type":"item","numeric-id":5506316,"id":"Q5506316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d3e5db0aca3abac1c085312370dd8fbdb60dc6","datavalue":{"value":{"amount":"+0.7631098031997681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2788653$CFCB6297-36B8-4437-B847-8BCABC7E8AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9bf8ceb30c48dc0352d7610d62a1dbb64b7503","datavalue":{"value":{"entity-type":"item","numeric-id":1038633,"id":"Q1038633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c9b45cd8f5d8a97cb982e19aa3eb919cec06e8","datavalue":{"value":{"amount":"+0.7628271579742432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2788653$5EAA41F2-D0BD-4990-A4E1-DC67AED25402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2788653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2788653"}}}}}