{"entities":{"Q283123":{"pageid":284890,"ns":120,"title":"Item:Q283123","lastrevid":60685650,"modified":"2026-04-10T18:30:18Z","type":"item","id":"Q283123","labels":{"en":{"language":"en","value":"Computable dimension for ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580194"}},"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":"Q283123$575B8A4B-E4EB-4849-A39B-0DB0A73FA033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c2ff7c2d31e96599f8367cf20d5fbad2354e24e","datavalue":{"value":{"text":"Computable dimension for ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283123$40D08683-26AB-4624-9DAF-5475FEA13E7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0259b83e33fe33b42dad7081613a35a34a722b39","datavalue":{"value":"1343.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$231DDA00-4818-4640-8F07-B6C2B73DAB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7880db317c5666fc0718c9f520f613694d7bebc5","datavalue":{"value":{"entity-type":"item","numeric-id":283122,"id":"Q283122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$819F3CBF-0FD4-4BF6-8FC1-5E63B152DE51","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":"Q283123$74A1008E-C506-475E-8A3A-7B88DF1E37F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283123$03F5B84B-B2E4-4FCA-BA18-92E23DC058AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c4930cab51da97629719de9df35ac09658ef54a","datavalue":{"value":"It is a natural question to ask whether the various effective presentations of a computable structure are somewhat equivalent. This can be phrased in terms of computable dimension: the computable dimension of a computable structure is the number of distinct computable presentations of the structure, up to computable isomorphism. A computable structure is computably categorical if it has computable dimension 1. The question has been studied for various structures, but it seems not so much is known for fields. Some recent work of Miller, Park, Poonen, Schoutens and Shlapentokh seems to have open the horizon by constructing a fully faithfull functor from graphs to fields, allowing to associate to a computable graph a computable field with the same essential computable-model-theoretic properties. The present paper considers computable ordered fields.   The main results are:  {\\parindent=7mm \\begin{itemize}\\item[(1)] Every computable ordered field of finite transcendence degree is computably stable, i.e., for every other computable ordered field \\(B\\), any classical isomorphism from the original field to \\(B\\) is in fact computable, and this yield computable dimension 1. \\item[(2)] There are computable ordered fields of infinite transcendence degree which have infinite computable dimension, but others with computable dimension 1. \\item[(3)] Archimedean computable ordered fields having finite computable dimension must in fact have dimension 1.\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q283123$03E1574C-1955-433E-9F38-76F0EFDBF512","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a2118c292dc08a002b8680010ffeab026feb65b","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$A7A704D1-D87D-4D22-A579-BC34958F98D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$C8C96B95-1612-4155-B1EA-FA8BD1C1096B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$789B4C41-CA7A-41E5-80AC-38023FB7D2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$A3065B59-8E08-4930-918F-5B6671FEAA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$539DE798-7C49-4592-8F3C-F926DB56E234","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f90370026bcd2bd0f0b1e51c0246c4437a1b47","datavalue":{"value":"6580194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$080C4982-37D7-4B43-B5D7-8DCBFAD2FCDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8331b5cf38db5a4c7d25c02e40eabec1c8a89647","datavalue":{"value":"computable dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q283123$2BB5D2BA-FA8A-4857-A119-552894C5F6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6e54db88ab130d395919a5c7c41e72da812184","datavalue":{"value":"computable ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q283123$41489670-AF9E-4A81-A7B8-26630949D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28fa15bd93902c1892003105fd0e5ab52a133eb","datavalue":{"value":"computably categorical ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q283123$6B2522F6-365E-48A9-850E-87A9ADC8E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e376d4fb3e31f5ea98f072875041b3ec154dbe3e","datavalue":{"value":"effective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q283123$423B7263-B6B8-47F7-A811-3D2E8F6D15E3","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":"Q283123$B4291C85-1429-4322-A7F5-4A25121E51C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c3a2c2d68f15dd57ba64aa4f2b3df286dbb683","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0478-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q283123$4974BD07-8C6E-4388-B7B9-F77F0845B070","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc18c0e6bf4de149c641a154f96ad7becab1ba15","datavalue":{"value":"W2294263022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$8DEB587F-F193-4529-B762-C32202459E07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$848D97CB-73D1-4CE6-88BE-3FE8A34E53DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf869e8ab52e808530e2def69fcf49de282e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$BE8E896C-7563-4C2A-9F78-F6F1FFD3370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83803bea803efde210156f270f5223595b9a274a","datavalue":{"value":{"entity-type":"item","numeric-id":3507427,"id":"Q3507427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$3A88F7C8-9AD6-4D97-B941-97AEF0BA2D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bb064ce3995741ddff7a10695d91c514b9fa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1156126,"id":"Q1156126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$1B08CAB1-E579-4628-8DF5-799DF33D2767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$AA0C329A-C304-4552-AE5D-53FE419DE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b12ab8ee6bbfdc334b54c4499f792d8660f08c","datavalue":{"value":{"entity-type":"item","numeric-id":1825277,"id":"Q1825277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$726E1C9A-A7B6-4715-8953-A2C7C46995D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a8b3e6dfcb9825529fe8445bba63fffb3639e3","datavalue":{"value":{"entity-type":"item","numeric-id":3370760,"id":"Q3370760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$9696CEE3-CE9B-4EFE-8A2D-CFE8CE4A8E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9f37de6d915d628253b3ef9f9b1a59d7756a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1873769,"id":"Q1873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$8D1AC040-0C6C-4E93-8BBD-F06F150488BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$5663DD70-38BF-4CF3-B70F-7C94C54CF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$E2114FF1-0821-4B90-8DDB-59DC26275D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd06c578a20e246a2f4db8df47edc0729312141","datavalue":{"value":{"entity-type":"item","numeric-id":4041564,"id":"Q4041564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$2AA1B4D2-747E-4435-BD24-EA8F7BBCB877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$B3798691-3194-4B39-9267-4A48C46D4472","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":"Q283123$B287174F-782D-4BBD-896C-A625585C41D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292e1cba40d8f668f966626d3d5b60ec466a757b","datavalue":{"value":{"entity-type":"item","numeric-id":3655259,"id":"Q3655259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$8DE8C662-9863-4C52-8B42-AB9A71FD9FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6f52b2672df3ce5350908a76fc0e31b9b2a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2851189,"id":"Q2851189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$A7DF4C30-B9EE-4DAB-843C-BE4BA33372CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7c0c39385c53fed90551bea7d43ffa08fc8e3","datavalue":{"value":{"entity-type":"item","numeric-id":799734,"id":"Q799734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$FA011AEF-CB1F-4193-9BED-57481E42C256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8d31b9fc87b89ee3effdeb240daa3f1a04408e","datavalue":{"value":{"entity-type":"item","numeric-id":3955343,"id":"Q3955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283123$7DC3FFD4-7B79-4D9D-A76C-8C41CC55DA32","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":"Q283123$64594418-3D3E-44C3-99E3-C4C94ABD9087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce2203737c21b145cb67cffc86f7c94c072ad1e2","datavalue":{"value":"10.1007/S00153-016-0478-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283123$9C93F6B1-E7E6-437D-A1BE-A72C2D7DF41C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c023cfc17311096b4a031d4ee96210681e375e10","datavalue":{"value":{"entity-type":"item","numeric-id":1873769,"id":"Q1873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5345bd4ebecf7ad3fc41e9a6893e8c068e110d09","datavalue":{"value":{"amount":"+0.8074906468391418","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":"Q283123$797E9C56-E677-4832-8F87-734C5D9DD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df0f3578a0500cf70428cc0d1efeb10661eec2b","datavalue":{"value":{"entity-type":"item","numeric-id":3616356,"id":"Q3616356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5345bd4ebecf7ad3fc41e9a6893e8c068e110d09","datavalue":{"value":{"amount":"+0.8074906468391418","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":"Q283123$864A4E6E-623D-4AB1-A718-4978EBAE379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc8b0188ef2be37fc868d04f6f601747bb266e8","datavalue":{"value":{"entity-type":"item","numeric-id":1407544,"id":"Q1407544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1540987e9c3429028085bab1305c62a46c6231c","datavalue":{"value":{"amount":"+0.7649556398391724","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":"Q283123$94049DE9-F6CF-46C7-B9A2-DF7F264C7406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4de515c2a4937fcff585aa07a06a71fa5984520","datavalue":{"value":{"entity-type":"item","numeric-id":3655259,"id":"Q3655259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9facc8d7de382e257bac2e4dd459a7f366575a58","datavalue":{"value":{"amount":"+0.752957284450531","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":"Q283123$D7C49B27-7CE9-4246-B6CB-6737559D6424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7224f333b1a984aaab1237ba01e1e93c45eb0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2311213,"id":"Q2311213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f9a7300400df882376d4c8adc19c2119ab58ee","datavalue":{"value":{"amount":"+0.7485212683677673","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":"Q283123$93C30E51-B5C5-4310-94DF-70FA5B615C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable dimension for ordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_dimension_for_ordered_fields"}}}}}