{"entities":{"Q1750293":{"pageid":1761035,"ns":120,"title":"Item:Q1750293","lastrevid":69142605,"modified":"2026-04-13T05:03:18Z","type":"item","id":"Q1750293","labels":{"en":{"language":"en","value":"The complexity of primes in computable unique factorization domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6870284"}},"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":"Q1750293$4EAA1B82-4BA0-4A16-8A4D-79FC26FB6083","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e83400013bf0439045e5e7f2ddf7d1157acc0a0","datavalue":{"value":{"text":"The complexity of primes in computable unique factorization domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1750293$BEA070E6-1555-4AC0-8B7F-B98F2C8D7ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcaef7c8dddd1e4656911de5ae031c505938bab5","datavalue":{"value":"1400.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$293578D7-906C-4A14-B6AF-4873A6D4B4CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0fab556684394d10587e1953d18f5d5c17707ca","datavalue":{"value":"10.1215/00294527-2017-0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$FA898CF0-B17E-446A-979B-4A0B7A198DE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$FE6999F8-4EFF-4242-86EF-4B74D52DD80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d833acb82b0adb02c65ecfdf4691f4e75151bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1750292,"id":"Q1750292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$9442E70D-BC46-41D6-B9EA-4D06C7DC361C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$926B3BD3-28AB-4F10-8847-5F60F6905EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0fc96b23bd22c58b1c85efb766530f41ccd3b2c","datavalue":{"value":{"time":"+2018-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1750293$7DAC3EC6-984F-4141-966C-7718A635F880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51eff70d36aa0abfbdbda71efd88028da365e0cb","datavalue":{"value":"https://arxiv.org/abs/1407.2626","type":"string"},"datatype":"url"},"type":"statement","id":"Q1750293$048245FE-1923-4E18-8C7D-1574BBF6C3A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fda242e2861a3d801c9bc53f1c2c2bb347c4b2a4","datavalue":{"value":"A computable ring is a ring whose underlying set is a computable set \\(A\\subseteq\\mathbb N\\) and the operations \\(+\\) and \\(\\cdot\\) are computable functions from \\(A\\times A\\) to \\(A\\). For many computable integral domains that arise in practice (such as \\(\\mathbb Z\\) or \\(\\mathbb Z[x]\\)) the set of primes forms a computatable set in any natural computable presentation. However, there exists a computable field \\(F\\) such that the set of primes in \\(F[x]\\) is not computable. For any computable integral domain, the set of primes is a \\(\\Pi^0_2\\) set. It is proved in the paper that this result is the best possible. Namely, if \\(Q\\) is a \\(\\Pi^0_2\\) set and \\(p_0,p_1,p_2,\\dots\\) is the list of prime numbers in \\(\\mathbb N\\) in increasing order, then there exists a computable unique factorization domain \\(A\\) such that \\(A\\) is an extension of \\(\\mathbb Z\\) and for any \\(i\\), \\(p_i\\) is prime in \\(A\\) iff \\(i\\in Q\\). It follows that there exists a computable unique factorization domain \\(A\\) such that the set of primes of \\(A\\) is \\(\\Pi^0_2\\)-complete in every computable presentation of \\(A\\), uniformly in an index for the presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750293$249EE22E-3B93-4565-A38A-4EBE45763F63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$8EF13560-EDDB-48F2-8283-7587E925AC59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$D6311B16-A039-4BC4-9340-77F838B8770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$E044A3C3-DCF4-48FC-94D3-E621542A83A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20487430c81f65093c255b3f6124eff3bb99c7b","datavalue":{"value":"13F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$82596063-6631-4746-A5E4-EAB2DA93A602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$A49A9DA4-63C0-4F97-98A7-AD21E247CCC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ac8ab398ed28828fef93bfe2fb9db494c05f29c","datavalue":{"value":"6870284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$A16FDDE1-3B39-47CD-A13B-ADB6F88BF380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35be5f7af98140c04b58d09cdb015bc68e26c32","datavalue":{"value":"computable unique factorization domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750293$C5947836-0E84-4DBB-9E98-E87AB9731336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750293$C49E8017-E720-4F22-84FC-F28D7DB4CC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f296b1c815bc9677e2cf9f6cda5da1af711d955e","datavalue":{"value":"primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750293$0060C522-4E62-43F0-8023-0C54F7105D89","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":"Q1750293$95DD8910-53BA-460E-9EAD-61600F3D3AF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e0e0541e3664ce46c34bb4b4e7446f799f02883","datavalue":{"value":"W1937825932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750293$B5F09C57-418F-44AD-BE80-99EE455F1AE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28556556f0168b33e33c3cb9502f07a40d7d2ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4078005,"id":"Q4078005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$8F5B06A9-7025-4BDB-9D51-C22ED8810A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$B0C68466-3C2E-4A21-85CC-F1F652934E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f1c8dd663fd4eecfcc4bd4389f44fbe8c8abb0","datavalue":{"value":{"entity-type":"item","numeric-id":4935966,"id":"Q4935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$0B65860E-DDF7-4041-943A-E69F8608F057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c38c4cfb7e17a1c675fe0d8675a8c20d065ae98","datavalue":{"value":{"entity-type":"item","numeric-id":2655033,"id":"Q2655033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$A37B4CA3-3A3B-4C1A-AF08-6E251B1B1377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d149eba9bb1ffda2574f762af329ecd09d87165","datavalue":{"value":{"entity-type":"item","numeric-id":5317673,"id":"Q5317673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$1DE23D1F-FCD2-4D32-BE8D-559103B8A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab60416a88da38b1bd5da764f3e792af97c6fbf","datavalue":{"value":{"entity-type":"item","numeric-id":540403,"id":"Q540403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$35EC25D2-9BF5-4462-9DC3-9F3191422152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53acb1af1bb11e4cf2a4874d904ca722243841a1","datavalue":{"value":{"entity-type":"item","numeric-id":2456205,"id":"Q2456205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$EE741E9F-7111-46E1-A864-19AEB8C9AB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$6D85281F-7878-488F-8F57-A7CAE87D1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$BE04FA06-39EF-4F45-88DD-57FBBF045265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$7F1793C1-52AE-4976-A560-D98A3481A23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d0a33e2574166a4b4aeedfe7601bf54d8f149d","datavalue":{"value":{"entity-type":"item","numeric-id":5472015,"id":"Q5472015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$37921809-B3F0-457F-AC31-782E80A9BBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$03214B16-8345-4AE8-9EB8-9AF6748AACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$0D74C700-5904-4A20-A09F-0AF74DA41FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5f82e7c0aadd602b8cdb9a22ed4a96e67bd0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3588177,"id":"Q3588177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$D66AF44A-9C04-4F6C-86FA-433E3EA28A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f3c8afc4622382dbc98050bc8996d18602db0b","datavalue":{"value":{"entity-type":"item","numeric-id":1284279,"id":"Q1284279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$6363D40E-1F39-4D3F-8F4F-F795C58E8C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$2368B931-060B-4D85-9F20-D3FE34FFD79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$FE9922C0-6EE7-4D32-A118-BB6081D5E580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c010a7f2937ccbc804d7a6eb403758e4b3b4eb36","datavalue":{"value":{"entity-type":"item","numeric-id":4934287,"id":"Q4934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750293$E4D288FC-FE74-40B3-A1CD-62D79A7176DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fe93e3d67a98c16d91b31bbcc0e9d21812ed48","datavalue":{"value":{"entity-type":"item","numeric-id":2970963,"id":"Q2970963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81a8486f88ce7be3df3aeff73909d9c72792899","datavalue":{"value":{"amount":"+0.8218037486076355","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":"Q1750293$767DB83C-62AF-4E39-8EF6-060D9005AE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f86a3ca97473aa571d086edc1cd3ead954c271","datavalue":{"value":{"entity-type":"item","numeric-id":504325,"id":"Q504325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151ee8af034317da72079ac3d188e7189ef0df39","datavalue":{"value":{"amount":"+0.6785858869552612","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":"Q1750293$4264AE02-30F0-4E91-9725-C4D664F67379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e6c5ea3690c7b096f09a77cf873d234d99db50","datavalue":{"value":{"entity-type":"item","numeric-id":3051971,"id":"Q3051971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d7e503b82bd1a6a5350c674a203394269c5f1a","datavalue":{"value":{"amount":"+0.6627606153488159","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":"Q1750293$8FCE80BA-AEF4-4900-9E21-0FE4F8E85838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84db79771b52087db6bcfc13a07b9f7d81e92b1","datavalue":{"value":{"entity-type":"item","numeric-id":1904136,"id":"Q1904136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3569870c1bb225263f5e3f652570f56c8ea59e9","datavalue":{"value":{"amount":"+0.6604650616645813","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":"Q1750293$68CED93C-276A-4A0F-AB45-E1629AF5A343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50fae79515bb39f79aee4ca1e58568659c4975e","datavalue":{"value":{"entity-type":"item","numeric-id":2331231,"id":"Q2331231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9f1933163355e539c32ad50811fa13d08f4ecb","datavalue":{"value":{"amount":"+0.6296447515487671","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":"Q1750293$353A9E12-C55F-459F-83F5-DCA15233EBE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of primes in computable unique factorization domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_primes_in_computable_unique_factorization_domains"}}}}}