{"entities":{"Q579244":{"pageid":581011,"ns":120,"title":"Item:Q579244","lastrevid":62922921,"modified":"2026-04-11T09:00:43Z","type":"item","id":"Q579244","labels":{"en":{"language":"en","value":"Hierarchies of torsion-free Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014696"}},"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":"Q579244$1BE881DB-F354-44C0-95FE-11DBE7E35A3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65fbc6cd5be243e6381e906e8ce5a6e272fc6ba0","datavalue":{"value":{"text":"Hierarchies of torsion-free Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579244$426FABFC-9DCD-4B90-9F7D-7A9A867E0EA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2241903af905aabfb1c8644da8f035ebf6957a13","datavalue":{"value":"0625.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$C3E520D6-CA0C-422E-BAB7-ED17CE149A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2404e0e14ba6b5c35ae4cdd23bbbc7b248c9e199","datavalue":{"value":"10.1007/BF01978886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$89AC3C98-D0CC-4406-BFF7-54EA641234A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2d30d0803471d590adadbe133265bf65d58cfd","datavalue":{"value":{"entity-type":"item","numeric-id":404716,"id":"Q404716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$9AD35541-613B-43C5-8B5D-6CBA4FDBB1DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$7EF6D0F2-BB00-4508-9354-70C0E21D2F83","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":"Q579244$6527DD83-0894-4E06-B52F-771695B8538F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55b918412e92a04f3f2234ede067013dc48ce032","datavalue":{"value":"https://eudml.org/doc/187346","type":"string"},"datatype":"url"},"type":"statement","id":"Q579244$653DF4F7-194E-422B-A476-53480F3476B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"418bdda06a93d84fe5a394d1ccba52e579d3dfa1","datavalue":{"value":"Using the arithmetic hierarchy of sets one can define the arithmetic hierarchy of Abelian groups. Let N be the set of all natural numbers, and let X denote one of the symbols \\(\\Sigma^ 0_ n\\), \\(\\Pi^ 0_ n\\), \\(\\Delta^ 0_ n\\), where \\(n\\geq 1\\). A map \\(\\nu\\) of the set N onto the Abelian group A is said to be an enumeration of this group. The pair (A,\\(\\nu)\\) is called an X-group if for any numbers x and y one can effectively find the number of the element \\(\\nu x+\\nu y\\) and the set \\(\\{<x,y>|\\nu x=\\nu y\\}\\) is an X-set. The group A is said to be X- representable, if there exists an enumeration \\(\\nu\\) of the group A, such there the pair (A,\\(\\nu)\\) is an X-group. We note that in a different terminology \\(\\Delta^ 0_ 1\\)-representable groups are called constructivizable groups. We call the class of X-representable groups the X-class. The scheme of inclusions between these classes is the following: \\(\\Delta^ 0_ 1\\subseteq \\Sigma^ 0_ 1\\subseteq \\Delta^ 0_ 2\\), \\(\\Delta^ 0_ 1\\subseteq \\Pi^ 0_ 2\\subseteq \\Delta^ 0_ 2\\) etc.    In this paper we investigate this hierarchy for the class of torsion-free Abelian groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579244$1DBA079B-4177-4950-9016-517D728F9A42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$8A39CDF5-7BB2-434D-841E-9AD3D91611D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$DF06987C-9001-4D88-91C0-62DA6995C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$751C0620-0181-4D68-B6EA-764EACB8F252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$E38F2A82-BB4E-4845-A184-277BCCD8DDC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a2779939e1a475971ae1de9bb824109bc646e71","datavalue":{"value":"4014696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$76612D57-3A56-4828-928F-5E99FDF63C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec9f26eb602c60d9f5203e930169a653c5851b34","datavalue":{"value":"arithmetic hierarchy of Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579244$BE309DEC-E0C7-4F2F-92BE-F52CA6548BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8c53cbbffe905a07dab229eba23bff71d2db01","datavalue":{"value":"constructivizable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579244$7BA4074B-BFC3-4212-AB28-4A3DCE94C1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e08a6ff7958aa483351b9f75f1942a489aa1ae3","datavalue":{"value":"torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579244$8C62BDE7-E0E3-495B-9E88-4A10419B4C9F","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":"Q579244$5DB16707-57DA-4D9C-A282-2E6E78A68434","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$690BE612-990D-474A-89B2-74D2376BD81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161de8b10e1919e3802a85a74371e0aaecc605d2","datavalue":{"value":{"entity-type":"item","numeric-id":786923,"id":"Q786923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$DAD88A6D-9F3E-42FA-AC0F-B911B70AB66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e86163e0ce2c2eab4dc60aa74058e381191fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1060297,"id":"Q1060297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$10424770-CBA2-4A54-BCE8-6D25E8172A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cdab934adb1e590d07f45fba004cae7e16f09a","datavalue":{"value":{"entity-type":"item","numeric-id":3867985,"id":"Q3867985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$FF3AFC41-D7F6-42AE-A53B-2FEA9C2CC13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0888a322a88f30252daf7f95ed3e66b6e35acd","datavalue":{"value":{"entity-type":"item","numeric-id":1080958,"id":"Q1080958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$04A8D5BA-2709-4317-A280-8516D0C6C4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eae58e914450d6338efb26d8c8a1817a7328e9","datavalue":{"value":{"entity-type":"item","numeric-id":3905446,"id":"Q3905446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$00C5C01A-E7DF-4959-9D3B-ED62D90FB4DB","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":"Q579244$BE50A484-27D7-41F9-93E7-04F8B27D0E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d676e60bcb875cb3e260106d5ae3ee3384116d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3949039,"id":"Q3949039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579244$E9C6C7DE-CB7E-4B53-BC2E-FE8594AE94FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14cee5218f93efa5ae66f19d205f7c9bd3536687","datavalue":{"value":"W2045531999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579244$81CF90C4-AC4A-4FC2-92CD-6240F2A31B19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8916bf00a61595a86983dfc9ac4f5fef7801972e","datavalue":{"value":{"entity-type":"item","numeric-id":3829731,"id":"Q3829731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40ab90dc14b827de82ee9c0c80d71000d546f04","datavalue":{"value":{"amount":"+0.8898813128471375","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":"Q579244$72ED8BD2-E4A7-439E-B095-BBD11B67F708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c01359605373bc83682bf8395ff14ed7540a06","datavalue":{"value":{"entity-type":"item","numeric-id":2709319,"id":"Q2709319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60d88d092afab24e20d26e323e2242e737fad12","datavalue":{"value":{"amount":"+0.8072566986083984","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":"Q579244$18BCEB2C-B035-440A-A075-55F312E37CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0c35a9c78e86cf8abb88f20d90d73813499e6c","datavalue":{"value":{"entity-type":"item","numeric-id":733745,"id":"Q733745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f710a67bc1c87e2103f51266b101b7c267bb08bf","datavalue":{"value":{"amount":"+0.7969585657119751","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":"Q579244$2FF279C2-E16E-42A1-944C-3B4F389139D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e16ed044a2f35c05ff000b1718c677743b5deb","datavalue":{"value":{"entity-type":"item","numeric-id":3977193,"id":"Q3977193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4effeec1bf419ced22ee5453644ea18beab3ec26","datavalue":{"value":{"amount":"+0.7938311696052551","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":"Q579244$7B015A64-61C4-47EF-B677-9EA287F9B328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210d84b93a282b0c3450919109582c9a7cf5bb80","datavalue":{"value":{"entity-type":"item","numeric-id":1612488,"id":"Q1612488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515621a4cd598002f2d81528ff09138e74e00aa9","datavalue":{"value":{"amount":"+0.7863104343414307","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":"Q579244$A4CA7366-7355-4353-A687-9D781F428157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchies of torsion-free Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchies_of_torsion-free_Abelian_groups"}}}}}