{"entities":{"Q701725":{"pageid":703574,"ns":120,"title":"Item:Q701725","lastrevid":63639513,"modified":"2026-04-11T14:32:48Z","type":"item","id":"Q701725","labels":{"en":{"language":"en","value":"The isomorphism problem for classes of computable fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123151"}},"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":"Q701725$1C3D164C-0E5B-46DD-A1B8-F0D7226BF1EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cb1f715a8ed236f459f69b16d6caba50412e87e","datavalue":{"value":{"text":"The isomorphism problem for classes of computable fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701725$2CC6D8D1-832A-485E-8959-B94D14159095","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"403068afb2a698a2ba175c1d9cde649bed7a28df","datavalue":{"value":"1059.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701725$999D3494-502B-4AE3-8F79-E915D4BF54E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e826ed4f399daa696f96135b2223a3156a548d9","datavalue":{"value":{"entity-type":"item","numeric-id":541223,"id":"Q541223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701725$CCC30BF7-2816-4DE8-AADA-CA70A482FA73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701725$FBBB2D31-6A4A-4AA2-B935-DF6E88DDD472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701725$9E79382D-5F79-4D40-A837-578ED3C23AA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d70e228891b074151362d33cf253e0723f7001d2","datavalue":{"value":"https://arxiv.org/abs/math/0212190","type":"string"},"datatype":"url"},"type":"statement","id":"Q701725$D15C2B79-3F3E-4B29-BD7F-9EE89F921BBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d758165301f8bd3138c1a56b33fa1b9316d8b78","datavalue":{"value":"Identifying a computable structure \\(M\\) whose basic set is \\(\\omega\\) with its atomic diagram, we say that a computable structure has index \\(a\\) if \\(a\\) is the number of a Turing machine that enumerates this diagram. If \\(a\\) is an index for \\({\\mathcal A}\\), we write \\({\\mathcal A}={\\mathcal A}_a\\). The isomorphism problem for a class \\(K\\) of computable models is the set \\(E(K)=\\{(a,b)\\mid {\\mathcal A}_a,{\\mathcal A}_b\\in K \\wedge {\\mathcal A}_a\\cong{\\mathcal A}_b\\}\\). The author proves the set \\(E(K)\\) to be \\(\\Sigma^0_3\\)-complete for the following classes \\(K\\): computable vector spaces over an infinite computable field, computable algebraically closed fields of fixed characteristic, computable Archimedian real closed fields; and when \\(K\\) is either the class of computable real closed fields or the class of computable fields of characteristic \\(0\\), he proves the set \\(E(K)\\) to be \\(\\Sigma^1_1\\)-complete. As a corollary, it is obtained that there is no Friedberg numbering up to isomorphism of computable fields of characteristic \\(0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q701725$35A33736-5665-4B86-A9A5-E56E38239DC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701725$3F974310-3D59-46CF-9A77-F2EF67E9C05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701725$B2EEDD48-6AE9-4EC3-8CC7-8ED0AEF2D4B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a50f2063757c062c5b96a446f58ef2bc28d8228d","datavalue":{"value":"2123151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701725$04099770-085F-4871-890A-9454763BCD4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q701725$AF2CF960-B256-4A8C-83C3-C1C067333CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875632424bae9d13c240a69fa0575464788b8a02","datavalue":{"value":"index set of a class of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q701725$B5D427CC-9B77-4BB0-A01A-2C3F3DCB8BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q701725$E7C5367F-FFF3-4015-9F62-702808EB6F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceba67693558937bca1f51bf0bb6204707b290c1","datavalue":{"value":"computable field","type":"string"},"datatype":"string"},"type":"statement","id":"Q701725$E7224E5F-F177-464B-9343-81E06EC4B4F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701725$E043EFA8-0618-4BB1-A4CB-4C98735B3385","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":"Q701725$CB39C92E-FF2B-477C-8BA8-C120C10120DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2df551abca67c178c0590194e6e231d977179df","datavalue":{"value":{"entity-type":"item","numeric-id":2155501,"id":"Q2155501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4346543db6d1a95a2d4b5afdc2fa4129481d40","datavalue":{"value":{"amount":"+0.94227695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$5BB29854-09C8-4DAE-A326-03E7DF722B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69effd7e3a4403b469bc07efe5490c83a5bc35c","datavalue":{"value":{"entity-type":"item","numeric-id":5407056,"id":"Q5407056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2a6e2d86e9b119e4cf00e1512f3d36c697e18e","datavalue":{"value":{"amount":"+0.91023433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$99123773-BFFF-4C91-9B0D-FE473F2077C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda31a5d288bbd948d7a6975d67b96bd58fe60f","datavalue":{"value":{"entity-type":"item","numeric-id":5388722,"id":"Q5388722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580feb29a6ce9fe01f7d7c717da5f61749b376b6","datavalue":{"value":{"amount":"+0.8940352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$7ED1CC34-3308-49C4-B2B5-0E70E58BD2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded7998aa1ac3d5d8530a5b4e9421f9b54529971","datavalue":{"value":{"entity-type":"item","numeric-id":5107218,"id":"Q5107218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703deadd6f8a7248f646b25749ae7d247593f00c","datavalue":{"value":{"amount":"+0.891648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$12E80536-821C-48DE-8857-5F66524AA8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02179a136445f8c92eaaa2945571b3062ea94f24","datavalue":{"value":{"entity-type":"item","numeric-id":3075216,"id":"Q3075216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c13fa0ec4bcf21227e97bfe8b86d2a3a2aafb2f","datavalue":{"value":{"amount":"+0.8912615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$654D965D-44F8-4334-9BD1-35A7C3EE3E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00c1b3ddff869e66db31c89bc28dfe37ab26924","datavalue":{"value":{"entity-type":"item","numeric-id":3483446,"id":"Q3483446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a507db9e8afb06cdbe610f8fa09da27bb92c39","datavalue":{"value":{"amount":"+0.88984334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$E386112C-3105-4C1F-90A6-DD0385D6550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ba9d8a82643d97ca4b90fadceb0dfb79c815e1","datavalue":{"value":{"entity-type":"item","numeric-id":5939827,"id":"Q5939827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bf26161c9dee7029568388b11dc1d2ce2297f6","datavalue":{"value":{"amount":"+0.88962907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$954CD29D-EB4F-490A-80AC-B7AF1E958FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27f328f6378f6f1fc67b436078a7c93439a4435","datavalue":{"value":{"entity-type":"item","numeric-id":3588177,"id":"Q3588177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcbcba2b7fee1a72eb36178d40bf69d4dadd2fa","datavalue":{"value":{"amount":"+0.8826624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$B5B782E6-284D-4FFC-A809-16A76C8CCC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d59dae8fb4758f06168d5c830c9236ea3d6dbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5061389,"id":"Q5061389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8188029d0cd122bdcd55c3eb3342aa833249967","datavalue":{"value":{"amount":"+0.88196355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$DEAA7105-6AF1-489D-B107-342336EC19F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d040c384b38720128e16249d2b946908335d29","datavalue":{"value":{"entity-type":"item","numeric-id":6083668,"id":"Q6083668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b95469e88fdb00821b0903dfc3d65da3ef8cf50","datavalue":{"value":{"amount":"+0.8782381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701725$C68E1F57-FAA3-4696-84A2-718CD3D72366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The isomorphism problem for classes of computable fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_isomorphism_problem_for_classes_of_computable_fields"}}}}}