{"entities":{"Q2844727":{"pageid":2855447,"ns":120,"title":"Item:Q2844727","lastrevid":42259936,"modified":"2025-06-03T18:57:25Z","type":"item","id":"Q2844727","labels":{"en":{"language":"en","value":"Describing free groups. II: \\(\\Pi ^{0}_{4}\\) hardness and no \\(\\Sigma _{2}^{0}\\) basis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199337"}},"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":"Q2844727$22EEA200-AB2F-4B44-9CAF-8944E3F9F650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87523b00ae71be0069e75f66b02bc362759aa608","datavalue":{"value":"1325.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$DB074A3B-88A7-46F2-A87B-0B0E506E5641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccee9e3ed794071a06f3816dbffe64a066127e4c","datavalue":{"value":"10.1090/S0002-9947-2012-05458-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$45CDF3E6-4557-4064-BCA6-329C05643DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23eacde828ec774016fc7caae63027de69fc55c","datavalue":{"value":{"entity-type":"item","numeric-id":695797,"id":"Q695797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$1F0B58CA-F689-4C24-AADE-DA21342305F2","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":"Q2844727$56DFF2AC-5A58-4F10-9E37-2EBDE786DE0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$68E10976-6576-4AB1-A213-63CED788D6C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844727$0253C544-0F37-4126-8BF1-094895DF4C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$2871448C-9BDB-464B-B824-3237393638C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$BB7BDBB2-EBB9-4833-B6EF-5504FA75EA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$BBBB2339-638A-42E3-B1E7-5B0DCC3288E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$82DB0E29-4F46-4B32-84EF-675785C3E3EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7bf65309836e35f1d2b9e85dab2377d4f43c05","datavalue":{"value":"6199337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$5AB1BF5A-3EE7-47AF-A8AB-66447B133550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844727$BBA4D83A-D5BE-4A17-A788-1E04DB261A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ee9f17aaedd2b505c74937f507a438d3630c80","datavalue":{"value":"index set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844727$AE7414E1-F236-4F79-A848-18633BDF873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff180b000627ca0411190d161b4397694b475873","datavalue":{"value":"computability-theoretic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844727$34B16CC7-74A1-48B0-8A06-343166A5018A","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":"Q2844727$E17909C0-9824-44AE-B187-25721CDE69AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f645a4af409f8b2b3ecaba980829bbd81d7709da","datavalue":{"value":{"entity-type":"item","numeric-id":2445887,"id":"Q2445887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$EBBDFCFE-2286-4436-B387-F5BA07CE0A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8885779bfe72f2c4c53b6d592a2d743c115345fc","datavalue":{"value":{"entity-type":"item","numeric-id":2844726,"id":"Q2844726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$9D33FB1A-D191-40F1-BA52-46C6BD41413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce189e71585618491f33f9ead2d7e167cf4dd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1568874,"id":"Q1568874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$AD273ECD-1B32-40E7-B67D-45C8BD23757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33dd80a39e86d8eb6fc59ccaac034c9546ca25e4","datavalue":{"value":{"entity-type":"item","numeric-id":5594638,"id":"Q5594638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$098DB152-9A55-414E-9FAA-5CEF2482241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38218af7b4d3e203f87f788da8416b9759337618","datavalue":{"value":{"entity-type":"item","numeric-id":5800827,"id":"Q5800827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$27018EB1-B7EF-47B6-8191-E37F7A6439EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8a6901b516687a8a8d6a51fe73d25b1e3de5664","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-2012-05458-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844727$1A527145-9568-4A05-923A-57928D213EEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da670c855443cbee104192b662db1b646e42a5de","datavalue":{"value":"W2108939266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844727$C78A5221-D582-4D53-95DB-FEEB5F08D2FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145558dfc23d827cb26c34b2ddc2d1a56d57da2c","datavalue":{"value":{"entity-type":"item","numeric-id":3137960,"id":"Q3137960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc16dcee11b0854f7f45786368d536042c47ad7","datavalue":{"value":{"amount":"+0.84401935","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":"Q2844727$CD01D00C-EB91-4FF2-BF74-F4F2EDB0169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75edb5f037176b3fa178cda260d51a764370a782","datavalue":{"value":{"entity-type":"item","numeric-id":3693683,"id":"Q3693683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca43423491413a7575726de52e2c1347be0a60b","datavalue":{"value":{"amount":"+0.8412124","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":"Q2844727$EFA52A1E-3ECD-4D80-80CF-FBB38C678B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056182fec6b1c9e1981c932cd2dced851d3bd11f","datavalue":{"value":{"entity-type":"item","numeric-id":3733534,"id":"Q3733534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0171d997f0f3bd3992b9e334683dadd6a5abab5d","datavalue":{"value":{"amount":"+0.83755255","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":"Q2844727$7B8203BE-D5DD-4C0D-913C-30700AB0EE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c25bd1947eccd6f20c33e27d062f2f0349c4309","datavalue":{"value":{"entity-type":"item","numeric-id":272855,"id":"Q272855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170d76426592f7f18c0f830d151c6e79d6be27c9","datavalue":{"value":{"amount":"+0.8371508","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":"Q2844727$B44C5D64-41D3-42E0-972D-3A8308DC9770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91478bd7c1e3c633cf6cad314649429e288864e7","datavalue":{"value":{"entity-type":"item","numeric-id":791681,"id":"Q791681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4840556b23cdd6e95a3f546e611a4cd4f8f8c68d","datavalue":{"value":{"amount":"+0.8363968","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":"Q2844727$E5F97DAF-7E67-4844-B64C-DD62C1DE5838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf41a5f9deac8943e5e74bddaac25601b49455b","datavalue":{"value":{"entity-type":"item","numeric-id":2222186,"id":"Q2222186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa6862d9b0198f5a7cd1c2d3326378d79f5f101","datavalue":{"value":{"amount":"+0.83543575","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":"Q2844727$076A14EE-C98A-4FBB-B555-0290E6C3B699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db52ce741322fde6632539b062b8a2711742ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5380025,"id":"Q5380025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc31a33db27c18b8edadbc799b5120e293bbf34b","datavalue":{"value":{"amount":"+0.83513457","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":"Q2844727$E7062CEC-D6A7-454A-860E-95C223C5C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adff78248d024f6a403c77f1959822a2ca84bba4","datavalue":{"value":{"entity-type":"item","numeric-id":4649818,"id":"Q4649818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e94b4970728f1a3bd3ed023a9459c3591519d5","datavalue":{"value":{"amount":"+0.8348627","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":"Q2844727$DBB04C2D-5DF9-4604-8AC2-726FED2FA64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ad44a59bd02bdb6e9226e5e243549ae476f912","datavalue":{"value":{"entity-type":"item","numeric-id":3676340,"id":"Q3676340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205ec317a5690439f9314b909e2ee27f3266ca64","datavalue":{"value":{"amount":"+0.83472407","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":"Q2844727$A6DBCD26-87D3-487D-B3F9-15E42078948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34986affb97496cb5fb0ba5dc6dfd4dded2e3ead","datavalue":{"value":{"entity-type":"item","numeric-id":4291314,"id":"Q4291314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e16d09ded2b96304d266c52933b9585a668335","datavalue":{"value":{"amount":"+0.8341703","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":"Q2844727$E8D04A43-3540-4B22-B651-985751D015CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"106c9c37e7067d4ee9e129d5c0691078a376eff8","datavalue":{"value":{"text":"Describing free groups. II: \\(\\Pi ^{0}_{4}\\) hardness and no \\(\\Sigma _{2}^{0}\\) basis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844727$95077707-A90A-4959-8026-F963F32C3FDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cd79cfbb72ac34b305524b6e3cc204ea911a450","datavalue":{"value":"For definitions and notations see Part I [\\textit{J. Carson} et al., Trans. Am. Math. Soc. 364, No. 11, 5715--5728 (2012; Zbl 1302.03045)]. The study of free groups from a computability-theoretic point of view is continued. It is shown that the descriptions for \\(F_\\infty\\) given in the first part are the best possible. Namely it is proved that \\(I(F_\\infty)\\) and \\(I(\\mathrm{FrGr})\\) are \\(m\\)-complete \\(\\Pi^0_4\\) and there is a computable copy \\(F\\) of \\(F_\\infty\\) with no \\(\\Sigma^0_2\\) basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844727$E8E30531-3F6A-4C8D-80A7-07346F6CCCA3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844727$C5650D24-A700-4835-AD0D-97D4747B41C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844727"}}}}}