{"entities":{"Q1810808":{"pageid":1821550,"ns":120,"title":"Item:Q1810808","lastrevid":69017862,"modified":"2026-04-13T03:45:58Z","type":"item","id":"Q1810808","labels":{"en":{"language":"en","value":"Group theoretic properties of the group of computable automorphisms of a countable dense linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1924895"}},"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":"Q1810808$BE09B274-CB5A-4309-BA57-E79F8F770ABD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67934eca723045c40940147e3ac1155d59ef7b73","datavalue":{"value":{"text":"Group theoretic properties of the group of computable automorphisms of a countable dense linear order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1810808$49E4B11A-D9A4-405B-904F-B5FC2E8C0D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e7aba65585af8e58a630b7a769708dc74359e8b","datavalue":{"value":"1032.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$CF482100-4ABA-448E-98EB-DDDD4547C88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"727b5eba7135be8626b17a5e60837527e5ebc883","datavalue":{"value":"10.1023/A:1022878003199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$1BCED1E5-0B31-42D8-8243-84B1D5F57B98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$A0CC8D3A-1ACD-4D2E-8A74-1D75CA29C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e22dc2d19bdd6bbb6daab45fa49aa87c558021d","datavalue":{"value":{"entity-type":"item","numeric-id":1407543,"id":"Q1407543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$B38CD297-16AD-412E-BED1-6ACC7EACA497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$B4BC2013-FC92-4E8C-95E8-1BFF86745909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$CB7EBB8E-D7A8-4746-A0F3-40687836F1E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$9D259C30-F2CC-45B0-8311-16F0AD53126B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2d0e39c696776e04b9e53093e3633112a8f4686","datavalue":{"value":{"time":"+2003-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1810808$99D006EA-8A3A-4CE2-86BB-768A4292E263","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"baa54866145c1bc565900051ee0deb5c3c8337ec","datavalue":{"value":"This article explores \\(\\text{Aut}_c ( {\\mathbb Q})\\), the group of computable automorphisms of a countable dense linear order without endpoints. These computable automorphisms form a countable subgroup of the group of all automorphisms, \\(\\text{Aut} ( {\\mathbb Q})\\). The authors prove that like \\(\\text{Aut} ( {\\mathbb Q})\\), \\(\\text{Aut}_c ( {\\mathbb Q})\\) has exactly three nontrivial normal subgroups and every element of \\(\\text{Aut}_c ( {\\mathbb Q})\\) is a commutator. By contrast, although (1) \\(\\text{Aut} ( {\\mathbb Q})\\) is divisible, (2) every element of \\(\\text{Aut} ( {\\mathbb Q})\\) is a commutator of itself with some other element, and (3) two elements of \\(\\text{Aut} ( {\\mathbb Q})\\) are conjugate if and only if they have isomorphic orbital structures, these three properties fail in \\(\\text{Aut}_c ( {\\mathbb Q})\\). The proofs are computability-theoretic in presentation with corollaries in reverse mathematics.    The article is closely related to work of \\textit{A. S. Morozov} and \\textit{J. K. Truss} [J. Symb. Log. 66, 1458-1470 (2001; Zbl 0990.03034)] and work in reverse mathematics of algebra, e.g., by \\textit{R. Solomon} [Bull. Symb. Log. 5, 45-58 (1999; Zbl 0922.03078)] and \\textit{H. M. Friedman}, \\textit{S. G. Simpson,} and \\textit{R. L. Smith} [Ann. Pure Appl. Logic 25, 141-181 (1983; Zbl 0575.03038)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$66C189F8-0432-4416-8CB2-CFE45FDBCDAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$86CFF2AE-B3EE-4113-BAEE-0CF1F956B7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$79E0CF3B-1522-4FC6-9ACA-E930185D43FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$C80C70CB-19D8-4576-B04D-BE946598176D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6570461836e7f390696ecc59df530c66a583e6b8","datavalue":{"value":"1924895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$6F47C634-ACB4-4E32-A4CA-0E96A1FA1EAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3025b2fd155dc94179dbd6c8a3a744ff7f108ca2","datavalue":{"value":"lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$F36C7497-B78B-4001-AFE4-ED208064ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$9B3D618C-65BD-4D32-8B81-C5FAB1384E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$20A209CD-5426-47A9-A8FF-C951F3191449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e376d4fb3e31f5ea98f072875041b3ec154dbe3e","datavalue":{"value":"effective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$AA87E965-4067-4528-AA7C-351A6358285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810808$C9F20C23-EC49-4F96-AA34-A670715EA8E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810808$9E6DCE20-73AE-4A87-8280-86C031FD221D","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":"Q1810808$E1373EE8-B4DE-4D3D-A584-1ED2FAE0712A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41dcbd7333145ffe136dc67a7370419682ed5de","datavalue":{"value":"https://doi.org/10.1023/a:1022878003199","type":"string"},"datatype":"url"},"type":"statement","id":"Q1810808$E96C96DE-A419-4F72-BC22-3892B3EB34BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c630773fc69297bb4b099770b1babb803fa796a0","datavalue":{"value":"W149868500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810808$9B4A8BF4-0030-49B9-B952-4F7BC5DEF47E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e360cb6a2c9292e903c01d57a194c45329cc1f4","datavalue":{"value":{"entity-type":"item","numeric-id":3546098,"id":"Q3546098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099bd0b5324c7adb62a809289c8eab1ec9b8de45","datavalue":{"value":{"amount":"+0.7976102232933044","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":"Q1810808$A28F3F2A-D860-4920-A37D-0FD27CADEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbc539af9f178f87e332fb41ad0c99279e1c55a","datavalue":{"value":{"entity-type":"item","numeric-id":4697138,"id":"Q4697138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1a2a98cc6a2ee88fc0c779eaf6aab576d7fe0e","datavalue":{"value":{"amount":"+0.7754020690917969","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":"Q1810808$EA99A37B-3910-40FD-BE61-54D61F263453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388094fbf422cc8aa0df75780af79ad1f7818546","datavalue":{"value":{"entity-type":"item","numeric-id":4436236,"id":"Q4436236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa5cc751329f4db7f62cd6c85dd86ca5fad3b7a","datavalue":{"value":{"amount":"+0.7754020094871521","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":"Q1810808$C0806067-CFB2-496C-A9AE-30A57B457338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbf99ab535c193dea71e01da1ebb676ab1756d9","datavalue":{"value":{"entity-type":"item","numeric-id":1094411,"id":"Q1094411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38803f28fbb4104bf68d6d16afca5e1f5b4e51d","datavalue":{"value":{"amount":"+0.7690806984901428","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":"Q1810808$A3EC3CBD-32DE-467F-8CFD-655DF9268D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c329756f9ef976aa9ce769e420100d7c4c310f","datavalue":{"value":{"entity-type":"item","numeric-id":3632540,"id":"Q3632540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b222b11b0305ed5e88e3ebf6f8ed2c50d8a868","datavalue":{"value":{"amount":"+0.7611289024353027","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":"Q1810808$0A2D2719-2D55-4495-95D3-814D78AB3018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Group theoretic properties of the group of computable automorphisms of a countable dense linear order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Group_theoretic_properties_of_the_group_of_computable_automorphisms_of_a_countable_dense_linear_order"}}}}}