{"entities":{"Q1078171":{"pageid":1088923,"ns":120,"title":"Item:Q1078171","lastrevid":66251181,"modified":"2026-04-12T08:32:53Z","type":"item","id":"Q1078171","labels":{"en":{"language":"en","value":"Automorphisms of substructure lattices in recursive algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959404"}},"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":"Q1078171$4EEAF2B6-F574-4E4B-A2B1-A3150EE90DFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d55a179527d564fde3887f82a1fa69dc7749eb71","datavalue":{"value":{"text":"Automorphisms of substructure lattices in recursive algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078171$E5AD01D5-DCFB-4E7E-AFEA-8ACAAB6FB5B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f995091d92abe502df3dd197fccb0d49950faa4d","datavalue":{"value":"0596.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078171$63489485-FAE1-4329-8678-9DCF6E418404","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"289d392f30445b0ec31596cad405f5ea7cec77f5","datavalue":{"value":"10.1016/0168-0072(83)90053-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078171$DB0A497D-7AB9-48FB-9C7D-87787DE9E0EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5094919efa29cd73eefffd7ee0301568f780f61b","datavalue":{"value":{"entity-type":"item","numeric-id":800917,"id":"Q800917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$C3DE0E15-CF0F-4714-BF32-8214E64D9800","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$3DF51E21-B9CA-4278-A5AA-DFEA3EBFC913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1078171$F20BECF3-3D53-4384-BF90-89648A701ECE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a30f735d94eb2f0a337b9ebe957ab709477283d5","datavalue":{"value":"Let \\(V_{\\infty}\\) be a fully effective vector space of countably infinite dimension over a recursive field and let \\({\\mathcal L}(V_{\\infty})\\) be the lattice of recursively enumerable subspaces of \\(V_{\\infty}\\). It is shown that any automorphism of \\({\\mathcal L}(V_{\\infty})\\) is induced by a recursive semilinear transformation. By diagonalizing over the recursive semilinear transformations it is possible to show that various properties do not determine orbits. There are supermaximal subspaces A and B such that no automorphism of \\({\\mathcal L}(V_{\\infty})\\) moves A to B. This can be further strengthened so that A and B have the same dependence degree.    Let \\(B_{\\infty}\\) be the free recursive Boolean algebra on countably many generators and let \\(L(B_{\\infty})\\) be the lattice of recursively enumerable subalgebras of \\(B_{\\infty}\\). Every automorphism of \\(L(B_{\\infty})\\) is induced by a recursive automorphism of \\(B_{\\infty}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$AE1602F2-BA61-42F2-A752-616492533FE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078171$1B0B7860-EEA6-469B-BB88-D3AF42557023","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6e03cf2fb9a1b83706dea0db4462e5592703570","datavalue":{"value":"3959404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078171$0230AF3E-AADC-4404-826F-9744EFD26B9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa445dae6fa6bd9073d5d5624d1a5600ff92d580","datavalue":{"value":"fully effective vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$BB15F9B6-EF29-4640-A10C-4E46E3F8777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a10a9339c88c2a1a24f209673223f34eb313dee","datavalue":{"value":"lattice of recursively enumerable subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$3E6DF1F4-3F99-4A10-9744-FA25864AD00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017008d25e7e365e8bd78e83b72b90b802d3fab4","datavalue":{"value":"recursive semilinear transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$8B850E3B-44FD-4800-9C98-FD5AC6D269FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37de894f376738b058e7c47f442ef9b8e5b74876","datavalue":{"value":"supermaximal subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$D78AB063-CEA8-416F-AF6C-3964D211DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd02e443e561a047f1b1b88face695ee418f149","datavalue":{"value":"free recursive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$F5A73C0E-19FC-4FEC-AA62-9A5464A3B616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9228dad0430ee09cabcf86583e712780c89a435d","datavalue":{"value":"lattice of recursively enumerable subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078171$ED005FB9-89F4-4B3C-9979-F673672EEB65","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":"Q1078171$046ED791-544B-440D-B898-D5E594B76CE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3ea4f5eb21ec1088223df211291e5b39089d8b8","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90053-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1078171$BC824D81-1D14-42AA-9CFF-B5264A8EB6C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f64ca70c69ac54a7668bef8902d63552c2884dd","datavalue":{"value":"W2035335672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078171$DAF9998E-E560-4F18-BE0E-E47C909FFC50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df8d5144cb37e2315b21cb9ce4e0b51917f629f","datavalue":{"value":{"entity-type":"item","numeric-id":5817043,"id":"Q5817043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$344F2715-5AE6-49BF-959C-176B94B64A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76c1d4215608ff38e456ae2cddf076f119ca327","datavalue":{"value":{"entity-type":"item","numeric-id":3858254,"id":"Q3858254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$9D303D94-09BA-436F-9E91-9E2A696804B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0fdf8c902e0d3f85f244ab171cd792b07a7092","datavalue":{"value":{"entity-type":"item","numeric-id":4163526,"id":"Q4163526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$3779495C-C583-4FD6-86F2-4D433A318C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327810ed454f2bd6eff2faba0ebae46a09c1cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4063426,"id":"Q4063426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$A0AB0476-28FC-486C-B9CC-1A22853D0BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a3bc595453799a95815c19e73d118fa61795f8","datavalue":{"value":{"entity-type":"item","numeric-id":4170711,"id":"Q4170711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$F60569CE-A25E-4D34-BC15-DEA77DAF36FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1252f5fdac352e6ef43f6ed7f7858a6e4692af8","datavalue":{"value":{"entity-type":"item","numeric-id":3924187,"id":"Q3924187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$5D7C7C2A-36F2-445C-B942-0E4F730D97CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77ddb93d7361ec77a9ec8c37b5b542ae7b9e368","datavalue":{"value":{"entity-type":"item","numeric-id":3290736,"id":"Q3290736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$14B4AF36-0F31-434E-8CC1-C19077707702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078171$FE606D9C-222D-4E43-B065-54CAFEA88306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d65a85749b546431c996d6db9fc9d71899801e","datavalue":{"value":{"entity-type":"item","numeric-id":3188263,"id":"Q3188263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bbbfe5d4355c471ff5f4b9f324eaa40cc66f00","datavalue":{"value":{"amount":"+0.7886802554130554","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":"Q1078171$1E5937E8-7E4F-42CD-811C-310EF30232C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdac35d3b5efdbcb7ec7bdd32c1c53f596b3992","datavalue":{"value":{"entity-type":"item","numeric-id":1918795,"id":"Q1918795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e89cddad9c003ed3c517cfa2840302ccd8780","datavalue":{"value":{"amount":"+0.7882917523384094","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":"Q1078171$1678FFA7-CBC2-4CA9-A7CA-8B5120B65A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fc8387100f09247e9f1878b90c27612847781f","datavalue":{"value":{"entity-type":"item","numeric-id":3775546,"id":"Q3775546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6201898ef3cb53ea0da19896ac7b6d2557c203","datavalue":{"value":{"amount":"+0.7846088409423828","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":"Q1078171$71F3D906-D161-415E-B013-AA33831E73BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34772cef83d85f588f6144868ec90c906c49c320","datavalue":{"value":{"entity-type":"item","numeric-id":3690803,"id":"Q3690803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbee3481c4d473d82f7b30a1ab754f937e71eea7","datavalue":{"value":{"amount":"+0.777491569519043","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":"Q1078171$11BDB8D5-2017-4823-B84D-0A67C976BFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabbfab089a1aa78601ee6580394ef9559c60a77","datavalue":{"value":{"entity-type":"item","numeric-id":5202182,"id":"Q5202182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3eef05dd9e9d8b9a686a65ac8f55c2598e3d25","datavalue":{"value":{"amount":"+0.7746546864509583","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":"Q1078171$8C6D3A83-5457-446E-A44F-1CA1CC1091DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of substructure lattices in recursive algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_of_substructure_lattices_in_recursive_algebra"}}}}}