{"entities":{"Q699745":{"pageid":701594,"ns":120,"title":"Item:Q699745","lastrevid":63722106,"modified":"2026-04-11T15:06:24Z","type":"item","id":"Q699745","labels":{"en":{"language":"en","value":"Undecidability of automorphism groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1807898"}},"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":"Q699745$2EEE5E75-77FF-47B1-BB04-CF83D9F9895C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf526449f13b0f9684c3cac5a6ecb41550185ea4","datavalue":{"value":{"text":"Undecidability of automorphism groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q699745$404B3012-2A75-4B1C-A0ED-D8F17724F193","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eea2a32d538aa503c8e87c15e883edf4b71fb11","datavalue":{"value":"1050.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$C3E232F2-7FBB-400D-B93B-E2BD604001EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf63c9462d7da7f069f02b15ebc3826dff54039","datavalue":{"value":{"entity-type":"item","numeric-id":699744,"id":"Q699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699745$CBF211E1-422D-40DE-B44F-1895CC66C819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b883998fcab9f621bbf3dc19b3bb0de36dd3a27d","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699745$20E01622-98BA-4B2A-9B67-67C0C2F8074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699745$EC36A2A2-83BB-4AB5-8124-78A31DE9D7AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699745$92AA2E5C-1B24-4C30-9841-B126B9428E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14287ddcf28c60986480e7482825dc983de257d4","datavalue":{"value":{"time":"+2002-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q699745$6C7FC919-09A7-44C8-ACB4-F181C3601DDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e12eefe4c051c671874d41a81aa346d29cb4752","datavalue":{"value":"The main result gives a uniform approach to proving that many automorphism groups have an undecidable first-order theory. Let \\(\\Omega=(\\Omega, \\leq)\\) be a linearly ordered set. \\(L(\\Omega)\\) denote the normal subgroup   \\[ \\{g\\in\\text{Aut}(\\Omega): (\\exists\\alpha\\in\\Omega)(\\exists\\beta> \\alpha)(\\beta g=\\beta)\\} \\]   of \\(\\text{Aut}(\\Omega)\\). \\(R(\\Omega)\\) denotes   \\[ \\{g\\in\\text{Aut}(\\Omega): (\\exists\\alpha\\in\\Omega) (\\forall\\beta<\\alpha)(\\beta g=\\beta)\\}. \\]   \\(B(\\Omega)\\) denotes \\(L(\\Omega)\\cap R(\\Omega)\\).     The main result immediately implies that the theories of Sym\\((\\mathbb Q)\\), Aut\\((\\mathbb Q)\\), \\(B(\\mathbb Q)\\), \\(L(\\mathbb Q)\\), \\(R(\\mathbb Q)\\), Sym\\((\\mathbb R)\\), Aut\\((\\mathbb R)\\), B\\((\\mathbb R)\\), L\\((\\mathbb R)\\), R\\((\\mathbb R)\\) are undecidable. (Here \\(\\mathbb Q\\) \\((\\mathbb R)\\) is the set of rational (real) numbers with their usual ordering). This result implies in particular the following: Sym\\((X)\\) for infinite \\(X\\) has an undecidable theory; the group of all strictly increasing differentiable functions from \\(\\mathbb R\\) onto \\(\\mathbb R\\), the group of all homeomorphisms of \\(\\mathbb Q\\) (with the order topology), the automorphism group of the random graph, the automorphism group of the countable atomless Boolean algebra have undecidable theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q699745$24A64AC5-726A-4A54-AFDF-DE7BB33170DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$FEFC7954-0612-4062-914B-07DE05AA2D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$EB342E08-AB8B-46FE-97C1-18C0FA50C0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$5DF5A87F-022E-4A14-A063-AD1AC7184D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c68298c8d984952a7c21e65592a9ded2f718653","datavalue":{"value":"1807898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$BCD9ECED-C6E4-49E4-92D5-51D9C2A03A76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f2d24b43dd804389100c672b384b7e03e7d0c1e","datavalue":{"value":"linearly ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q699745$3CC84E5E-2FCC-4C1A-B19E-DD2DD4BBD140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q699745$AF0EE83E-5575-4D11-A102-8D52BA042077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q699745$92347FE3-A5A3-4852-936C-48DCA0867EC8","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":"Q699745$648A3EAC-2843-4903-B4A9-EF9B8C6F47BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c7ae180bf34cfdcf594cf2aaf2e796dca262e0","datavalue":{"value":"https://doi.org/10.1007/s002090100386","type":"string"},"datatype":"url"},"type":"statement","id":"Q699745$B97FC866-9AAC-4535-A639-5D2EF6EC2B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"933ddc66fcadb2db447fcb8db8323330da5741a1","datavalue":{"value":"W1981054838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$399452ED-E903-45CB-BB7E-A395C3BEDB5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b342ed755b87cd3f9cfdd15e73363f8f43259d","datavalue":{"value":"10.1007/S002090100386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699745$D3C33BCB-7EA3-4C76-903A-29C263DBFEDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1cd6c1be42280bb17568bc00a5ecf069454a36","datavalue":{"value":{"entity-type":"item","numeric-id":4884291,"id":"Q4884291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef00096c6b5629f06c5ff47a70ddcedd9dfc66a","datavalue":{"value":{"amount":"+0.91554934","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":"Q699745$E5466F2F-C2D1-4B50-B96D-4AE8B198B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82cf8bdc72a019b16f39524b0474233fa381989","datavalue":{"value":{"entity-type":"item","numeric-id":2330560,"id":"Q2330560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697fda5a80c726f44cea5f84b8a6c7b5d6f35c6f","datavalue":{"value":{"amount":"+0.91163194","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":"Q699745$C8224B2B-6731-452E-AE28-EC9564EA0E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9e3c289b4b48c698f97002f65bbb1e7d6ea450","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c6c93f3c2e75113b0b69753f1a533f952fd526","datavalue":{"value":{"amount":"+0.90892017","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":"Q699745$13D6BB31-2E51-4328-A504-48A06C6AD03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75026790934698750706485c48cd32e5ea50cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4249363,"id":"Q4249363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aca93ffcb0d13c779d5317334283dcb26221801","datavalue":{"value":{"amount":"+0.90819657","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":"Q699745$E0D08379-65A4-4D40-8316-F9FD64E71DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd66059b95eddd39313867318b0fdd2a818b57e","datavalue":{"value":{"entity-type":"item","numeric-id":1901892,"id":"Q1901892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de65d258d7b1bebcb8f85c393382b4f1472b9f50","datavalue":{"value":{"amount":"+0.905885","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":"Q699745$A07EB602-7E47-4101-B33A-93E9B398B3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36d55727558cca393d6e9165890361072b2d89e","datavalue":{"value":{"entity-type":"item","numeric-id":1693094,"id":"Q1693094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641b89a41c52b6c73ddbcf91e59064d60ef3412","datavalue":{"value":{"amount":"+0.905068","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":"Q699745$82020C3D-10D2-4211-BC09-2DCB5F61BF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b38f193bbc866b1a48541e1615fda27f5914e","datavalue":{"value":{"entity-type":"item","numeric-id":4851407,"id":"Q4851407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b513557a70605d5fc2633640fd082b11d6e51a","datavalue":{"value":{"amount":"+0.90348184","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":"Q699745$5A613D10-E7DC-4EA0-8D0A-202B34BEE77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1efa05d6651972609eca02e6178231447ca427","datavalue":{"value":{"entity-type":"item","numeric-id":5483301,"id":"Q5483301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a5deb81fe844206ed36cf4173c86c59e574ddf","datavalue":{"value":{"amount":"+0.90304184","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":"Q699745$88747944-F1F7-4A03-B01F-FA904B398E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d59d334a68ba6cded9bf5ee916e57c1fc34c544","datavalue":{"value":{"entity-type":"item","numeric-id":1918792,"id":"Q1918792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c6c6bd0a3df60b208e6ce434c1b8fff019466f","datavalue":{"value":{"amount":"+0.8992763","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":"Q699745$E5D72BB8-65B1-4517-A04A-FF8A5B68652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d83261a74224e3647014b85db930ff9fa379ce","datavalue":{"value":{"entity-type":"item","numeric-id":2190041,"id":"Q2190041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9476e4669db5dc4cec9c0e80633ba2ffd1923383","datavalue":{"value":{"amount":"+0.89673126","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":"Q699745$72EA7D3D-CD83-404A-B5AA-CD97D20188E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of automorphism groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_automorphism_groups"}}}}}