{"entities":{"Q1083446":{"pageid":1094198,"ns":120,"title":"Item:Q1083446","lastrevid":48988564,"modified":"2026-01-06T10:14:19Z","type":"item","id":"Q1083446","labels":{"en":{"language":"en","value":"Undecidability of \\(L(F_{\\infty})\\) and other lattices of r.e. substructures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974953"}},"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":"Q1083446$C4C924A9-7525-4C99-9AFB-18F4B83E032C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"815461f51bb918208ff9bcf3925c199748848d15","datavalue":{"value":{"text":"Undecidability of \\(L(F_{\\infty})\\) and other lattices of r.e. substructures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083446$CF0B26BF-EAE9-4D56-BC79-FB1BCA4B4DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b04626078e4c68f46d4f254aae75bf24cd811d4","datavalue":{"value":"0604.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$A98D0482-BFF6-467E-8165-49BDE36A00F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7998cbec6fe059443f2a1b40730a8d0125e53001","datavalue":{"value":"10.1016/0168-0072(86)90041-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$CF900ED1-7C71-47A4-BF60-A518739C5D69","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":"Q1083446$8101C0AE-788B-4E68-8AA9-B40E6FE0A89F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1083446$C976C30A-C705-4EC2-BE92-12DFF16B683F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84a56b018d68c9a3fea94974edd0c9e6c89739c6","datavalue":{"value":"This paper establishes the undecidability of \\(L(F_{\\infty})\\). The result is established in a general setting along the lines of that of \\textit{J. B. Remmel} [Ann. Math. Logic 18, 153-191 (1980; Zbl 0471.03037)]. It applies to the lattices of r.e. substructures of - for example - (all) Steinitz systems, free groups, Boolean algebras, and a wide class of modules over locally computable rings. The proof builds a special type of r-maximal set, and, using this, codes Boolean pairs into the relevant lattice. Related applications are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083446$ACD310DD-5096-4CED-8A6A-59024CAD97B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$3AC106F1-009F-424E-8E82-F89D89550574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$CE7E3D82-22FE-45BC-9524-BB98A02C6CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86e4a9dfbf79e3c938133449e6f75aab49a17ae1","datavalue":{"value":"3974953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$60B6B1A0-394C-4D57-A03B-2EB525DAF565","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e190cd3e108b7a358174540d7901fc662cd97fb","datavalue":{"value":"lifting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083446$365E6DC0-CADA-4871-BAE0-C3D3F0CE121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd8f39a4bb346d38f8157e8ddd82a3a761f1511","datavalue":{"value":"local exchange property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083446$FBE088B0-E838-4730-B7DA-61E3EF5436B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"285fcf116d7fea73990cdb875c130c9b3ff9c5b6","datavalue":{"value":"lattices of r.e. substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083446$CE0B5384-0351-4FC9-84CB-B0D2F60127E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d23b62ebcdbc93283279cbbe4be87fcd7fb06e1","datavalue":{"value":"r-maximal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083446$098C8441-C67A-4439-A1BB-EC5EDD6A07CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$C83C4089-C2DC-4121-B54B-873C9DEB3693","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":"Q1083446$243AA364-EB12-4DFD-80AE-B603851CD6F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3735afcf207bc1c68bd7d6fb50847b173ff57527","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90041-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083446$D071EC20-D4FA-455D-80DD-89AE49345CAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"649e33f12e3f5cd8cf404fa6269e43c6ac9abe7e","datavalue":{"value":"W2047280602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083446$1C3CBFED-117C-4D31-8E9F-B1A29C44AE2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edee17e41d1e1838c951dbd5cbd21227fe68f52","datavalue":{"value":{"entity-type":"item","numeric-id":3710516,"id":"Q3710516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$20EF9F1A-B0E2-4344-B302-916947824E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a22e02b9b9de7c83bee2885583c0db7b7c93f6","datavalue":{"value":{"entity-type":"item","numeric-id":1073012,"id":"Q1073012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$CC4D8978-E53F-4637-9458-811FE445050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58df850012ae705b6f28a94053861bd26a5ace70","datavalue":{"value":{"entity-type":"item","numeric-id":1093629,"id":"Q1093629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$2D3932D8-2363-4B27-AC1C-74FD8D4FA3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8732aa8b5131185741187ac2c6d81f3bdbdfd5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3041181,"id":"Q3041181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$AB2D101A-FD21-49E6-96FF-8AC49D47C7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218da70bdc53dcc1ef47aa802e2985d0e36b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5626636,"id":"Q5626636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$98CD25C6-2BC2-4CD8-A211-3272E4DAD3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$36731387-2DA6-4E82-B040-21646DDF6BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6100a7ef997a8524c4947183a8c5f80629ee3f6b","datavalue":{"value":{"entity-type":"item","numeric-id":3931263,"id":"Q3931263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$E94DE8A0-0461-495E-9A72-76956B62D6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58aa3822aa41e3ae1ea3e3a124b69d0b120c09ef","datavalue":{"value":{"entity-type":"item","numeric-id":3657979,"id":"Q3657979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$DF98BCB3-D968-41A5-B734-5DB05BBE4B3D","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":"Q1083446$A8BF010B-9781-459F-99FE-23EAD00066F5","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":"Q1083446$08EB1CA1-08AF-4B87-82A6-BB04CCC8BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d683dfe5aba49499424b625771f3210ba997af3","datavalue":{"value":{"entity-type":"item","numeric-id":1156793,"id":"Q1156793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$A81EE959-70D3-4D9F-A0BB-E88A5B882D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c338d07ca209d15101c5ac2155668ff403d5cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3343973,"id":"Q3343973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$BA233D12-D665-4BC6-AA25-73C8B3F959B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc35f7dde4f2d3b8c5bd305f580355729e0399ce","datavalue":{"value":{"entity-type":"item","numeric-id":3690803,"id":"Q3690803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$D0AAD2D5-942B-4242-ADF8-0FB5EAA4DA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b058e3d634263129ead20fa1f2233bf192f5eb39","datavalue":{"value":{"entity-type":"item","numeric-id":3897041,"id":"Q3897041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$25414A73-0E40-4DF2-859E-6B20D4F19DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f46f6100fbdff135e7d0a80b82918fd66f4a54","datavalue":{"value":{"entity-type":"item","numeric-id":4200050,"id":"Q4200050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$73095C98-350D-47B4-B33A-5D2602B9BE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25043117a9b76e1f9a270bbdba48a8ca00282710","datavalue":{"value":{"entity-type":"item","numeric-id":3924186,"id":"Q3924186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$3C9BEA54-5643-4971-85C0-EB61B9670B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083446$EBC3D381-526D-4A55-9743-708F64205907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7608aea8ff74f57cc6cc652c7cbcb9b9ab0315d9","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5de537f6c2e0d90e355d921b1822255b8da68c","datavalue":{"value":{"amount":"+0.8379627466201782","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":"Q1083446$B0CBAF3D-9213-49FA-BAF8-B535F1E20202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d93ba1665a5cedaae05e271afd69520f036bc86","datavalue":{"value":{"entity-type":"item","numeric-id":584255,"id":"Q584255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fb2347750ef410e1a575eb9ae72e4737f93788","datavalue":{"value":{"amount":"+0.768113911151886","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":"Q1083446$6C1FB10F-F479-4E45-9D46-5C96ACB4EAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000b0094fe7afd2d783934dc7a54c6ea41e053a0","datavalue":{"value":{"entity-type":"item","numeric-id":1377645,"id":"Q1377645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93eed24d5153255fcdd830f736e75109b3e77317","datavalue":{"value":{"amount":"+0.7658780813217163","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":"Q1083446$A58D645F-19A2-40E7-A240-2109056FFF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3ff78512e9cb2ef4748c6f8670a3ee08d5c5be","datavalue":{"value":{"entity-type":"item","numeric-id":3149998,"id":"Q3149998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93eed24d5153255fcdd830f736e75109b3e77317","datavalue":{"value":{"amount":"+0.7658780813217163","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":"Q1083446$09097D2E-61AD-4742-B14E-92F04C0ED89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2889752b4fe8d6ceeaa51aa5a8ed21ef0e5aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e008f81e7e8b8396ad2019f9b0a7ae3ba8874a53","datavalue":{"value":{"amount":"+0.7640866041183472","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":"Q1083446$6BFF85D6-FF4C-40DA-81D4-2C1DF0838D77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1083446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1083446"}}}}}