{"entities":{"Q645257":{"pageid":647106,"ns":120,"title":"Item:Q645257","lastrevid":63252840,"modified":"2026-04-11T11:38:05Z","type":"item","id":"Q645257","labels":{"en":{"language":"en","value":"The Friedman embedding theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969530"}},"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":"Q645257$3679F939-E46D-46A1-8F89-63F0ED3D7F55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d81b4b8ba5a44aa42d730d7ff7d472e03af63ac1","datavalue":{"value":{"text":"The Friedman embedding theorem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645257$B6F6260A-AA4A-4E08-83F7-793DFBF7FC06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2efdfc8c2a8aa0c6d17fb2a7f4f7415c6a9608c0","datavalue":{"value":"1233.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$73164CD1-C67E-4F18-A82D-700EE0C3597E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee6d7c6a61a047db4fa1acc0036957ae324bbfa","datavalue":{"value":{"entity-type":"item","numeric-id":194963,"id":"Q194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$BC861CDA-8000-4FD3-B92D-F3764DAF82F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$3A9E2E4C-B81B-449E-9ABF-B42555F49ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645257$E2B5C80B-50F9-4DF5-9051-09686C7BDB76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d5b5d35916a6d30877f62ef8912345d86638d2aa","datavalue":{"value":"The article is a sequel to the same author's article [in J. Group Theory 12, No. 4, 561-565 (2009; Zbl 1215.20034)] which already dealt with the ``Borelness'' of HNN constructions.   In the former, the author showed that there exists \\textit{no} Borel map \\(\\varphi\\) from the space of countable groups to that of 2-generated groups such that: (1) any countable group \\(G\\) embeds into \\(\\varphi(G)\\) and (2) if \\(G\\) and \\(H\\) are isomorphic, then so are \\(\\varphi(G)\\) and \\(\\varphi(H)\\).   It was however claimed with no proof that there actually \\textit{exists} a Borel map with properties (1) and (2) from the space of \\textit{finitely generated} groups to that of 2-generated groups. The latter statement, attributed by the author to Harvey Friedman (for unpublished work), is the main theorem (Theorem 1.2) of the article under review.   It is obtained by using some recursion theory, namely by first embedding a finitely-generated group \\(G\\) into the group of permutations of the integers with Turing degree not greater than the Turing degree of the word problem in \\(G\\). Another ingredient is a combinatorial group theoretic argument of \\textit{F. Galvin} [Am. Math. Mon. 100, No. 6, 578-580 (1993; Zbl 0937.20501)]. In section 6 some conjectures are made, around the (non-)existence of a ``purely group-theoretic'' method, i.e. continuous \\(\\varphi\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$C1F94B8A-AB2C-47A3-8474-5337DD5903CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45eb5ddce0d956df8d3cabcffcf3c509eccc63d0","datavalue":{"value":{"entity-type":"item","numeric-id":318320,"id":"Q318320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$FD1274EA-A4ED-4120-9CE9-C8C78304AEC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$8EC6662A-BFE0-4D4A-A23C-E89619A61985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$B59BE9D9-492D-43D0-9E4A-2744F6240325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$F8FFFAD8-398A-4224-845F-5E96F01CAC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$D188EEF4-4365-46BD-B572-1C51099616B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$648EBB6D-2C75-4095-8C97-271920F4D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$5BCF0A13-5CE4-47A5-B388-46A718B551F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b78140a28522cfd000914959f6697b234c9a4de","datavalue":{"value":"5969530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$A03CF9CC-8B07-4481-9C91-1C45669B7F2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ae5d25c454b6ea68a784ec2fd31cbfd2fb25fc","datavalue":{"value":"combinatorial group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$535306E7-2ECD-41FD-9B60-89241DE32F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291798b2cd324842ead820925edeff3cb454b9cf","datavalue":{"value":"Borel equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$F989EFC6-662F-44BD-84DF-8CC99DC93E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$CD662994-3541-4EE9-BA9A-0DABCD477444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$8CC5CE07-1309-4A3B-B96C-40DFBB0D2D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6c0c016bb199487d70ff35944282188b836949","datavalue":{"value":"Higman-Neumann-Neumann extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$BA827A88-EA72-431F-BB34-AC770ED94FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1eb9134269fa477583bd34e3f6ef5239cbc1c7","datavalue":{"value":"Higman-Neumann-Neumann embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$E0F47123-8738-4B8C-8FE2-A51DAC67D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42d9a630bb083ee7ef5ad5c6fa10b6b445e7632","datavalue":{"value":"countable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$E68CBED9-2985-4147-8B7B-56B90033C63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2350748a83efb5e8dc1a49fa78e9250c12a5f3c9","datavalue":{"value":"2-generator groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q645257$A4D4ECC9-6B23-491C-84FD-8572EBFAE906","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":"Q645257$1B3CA6C3-4939-46E6-8D90-FD475D7FD72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ebfacdbaa0b07878f407999b109508c010bc924","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2011.02.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q645257$A2B79CF3-6AF5-4F5A-8989-7250B3839065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24ba9f42ab07b85490a1f9c87606c339c436ecae","datavalue":{"value":"W2005609978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$24B2CC8B-75F0-4AB0-AA29-63FE5E807453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eda13d166ba3560df014dfa8e2c32cdbfd63de7","datavalue":{"value":{"entity-type":"item","numeric-id":1568682,"id":"Q1568682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$61D53F2C-13B4-445C-9BD0-4113DC7BCC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579a3f225fa2c4e64c136d17fcf3c79d3f0cb3fb","datavalue":{"value":{"entity-type":"item","numeric-id":4279908,"id":"Q4279908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$E53F73D8-4F43-42CE-A2AD-57C34ACDBD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3497db5359ece7d4216c59ca6d19d212a1a4e73","datavalue":{"value":{"entity-type":"item","numeric-id":3708192,"id":"Q3708192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$549BAE8E-89D5-45DF-90B2-6D093D6852CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341cd5f95066da6e587bd06867c92e8177a6804","datavalue":{"value":{"entity-type":"item","numeric-id":5792061,"id":"Q5792061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$E671F862-D951-47DF-A60B-394C4CE2700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac41aad7dc4f748eab3f350f72d9a19eff6bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5961495,"id":"Q5961495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$A8292EAE-2F5D-4C82-A5AA-99449F96A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$B1FF8F90-29A7-4138-836F-11ACF11F4D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$DEDBA427-642B-4C19-B48C-0022F92F6E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecdb065e82ed12c3d7557927e8bea615619a36","datavalue":{"value":{"entity-type":"item","numeric-id":5551456,"id":"Q5551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$4A038401-6F3D-4229-8E74-E45EEF311321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$F6733DCA-5F2A-4293-898D-ECD2B4E4013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be374a41eb05a4c91c69f91d9ea90172a2d2a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2545565,"id":"Q2545565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$276FA729-C7A6-43FC-8B96-1D35868BC805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$F6632F02-8F15-4250-9126-EACE2A7462A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b964df33dbd28b6723e61d582e2fdde0a917aa","datavalue":{"value":{"entity-type":"item","numeric-id":3393372,"id":"Q3393372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$3A28C113-C44B-401E-B243-391144C89794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340c3e41179e1a9930fbf5108bfe11ef22906947","datavalue":{"value":{"entity-type":"item","numeric-id":1305085,"id":"Q1305085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645257$C74ED9D2-679E-4CB9-9CC8-D2311D786967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9da27cce2985e2449aa0b4170c9faa2bc8fb4de5","datavalue":{"value":"10.1016/J.JALGEBRA.2011.02.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645257$08960B2A-4EAF-4CAA-90CE-7705B3C1A611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15153d9dfc534f77719adf89852c919dc133ece9","datavalue":{"value":{"entity-type":"item","numeric-id":3393372,"id":"Q3393372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83955b9f8e77ed93b6b9881945f0dd5e341cb411","datavalue":{"value":{"amount":"+0.7713894248008728","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":"Q645257$3FFB123B-244F-4BC1-95F7-023B71B0CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe3410e0cc522ea6d8e41a03120e3e59a80fedf","datavalue":{"value":{"entity-type":"item","numeric-id":923129,"id":"Q923129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb3b8e42e1db422753ce7261cf16ac6d703de2d","datavalue":{"value":{"amount":"+0.7605029940605164","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":"Q645257$2C325A10-B5C2-4CAE-9784-A13983B8B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c785666331eca745ee47659afe59ef7c215df4","datavalue":{"value":{"entity-type":"item","numeric-id":4867081,"id":"Q4867081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f411a5ed07840be7470bdee8d47a43a657c6880d","datavalue":{"value":{"amount":"+0.7550976872444153","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":"Q645257$D9BEC201-D583-43EE-B51E-CD28A7981212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9312db4e45c8f8ce7916839508cb37c1ec2c9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4279908,"id":"Q4279908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f411a5ed07840be7470bdee8d47a43a657c6880d","datavalue":{"value":{"amount":"+0.7550976872444153","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":"Q645257$0057F665-33C5-46F7-81D4-F8569618EE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23da0aea5e854a7fc8c9b57f102e4c86461933d1","datavalue":{"value":{"entity-type":"item","numeric-id":5315151,"id":"Q5315151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce44c4605304b8e715b26c5a38c5e979cf2cebc","datavalue":{"value":{"amount":"+0.7520920634269714","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":"Q645257$A0FC71F5-E394-41B3-AEE2-C973C4C2519E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Friedman embedding theorem.","badges":[]}}}}}