{"entities":{"Q1358035":{"pageid":1368774,"ns":120,"title":"Item:Q1358035","lastrevid":68814723,"modified":"2026-04-13T02:14:52Z","type":"item","id":"Q1358035","labels":{"en":{"language":"en","value":"A generalization of Selivanov's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1023939"}},"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":"Q1358035$3CE11F26-5C9B-4658-B24F-24DA6948E8E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22fde261698a85ea180010bf7aaae5e66f3f9197","datavalue":{"value":{"text":"A generalization of Selivanov's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1358035$F98C1044-3518-487B-AAF8-90CA7F43BFBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb2214a7d1ea8193dd1754aec8e6c6a940f4ad2e","datavalue":{"value":"0909.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358035$D9B6DC8C-5CB0-4397-8364-54DC137DFF2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df1bd6ab7c87479ba86a9ca617d78e92c5c46523","datavalue":{"value":"10.1007/BF02104845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358035$8B8554D7-CC0B-4A79-88AA-2800FA92A3AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18055b4cd6910c9b28bf090131eb313cce4d3d83","datavalue":{"value":{"entity-type":"item","numeric-id":1317637,"id":"Q1317637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$5B6D30D1-51EF-48B3-9755-FA644A3987D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dfcfb3c056fb8c4aebdfb3163872b20fb1673","datavalue":{"value":{"entity-type":"item","numeric-id":1358034,"id":"Q1358034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$4F93C714-AF7A-4321-BE1E-8752E1849DB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$C764F168-2CF7-4E18-86EB-199E331B4F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393efb923ef82c131d1c3b46af0d2fb041de6ddd","datavalue":{"value":{"time":"+1999-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1358035$BAA276DC-D331-444B-AD96-969DDFEA3049","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1533efcbeca26bda9a33811aa55755df00ea5c70","datavalue":{"value":"It is known [\\textit{V. L. Selivanov}, Algebra Logic 15, 297-306 (1976); translation from: Algebra Logika 15, No. 4, 470-484 (1976; Zbl 0358.02050)] that a nontrivial quotient semilattice of computable enumerations by equivalence is not a lattice. In the paper under review the authors obtain several generalizations of this claim. A typical result: Let \\(P\\) be a collection of enumerations of a family of recursively enumerable sets with a nontrivial set of classes of \\(\\Pi_4^0\\)-equivalent indexings of \\(P\\). Then the semilattice of equivalence classes of computable indexings of \\(P\\) is not a lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358035$177D75DE-B7F2-47AC-97F5-337A9EDFE0BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358035$0E93F261-5FAB-42B3-959C-72505763CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358035$787CB618-E008-48FE-924D-EAD38AA21EFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"048b54508f7eca35ec84e48492e22860ef7100cc","datavalue":{"value":"1023939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358035$1E0B1EA0-7063-49C8-8FA3-F54BE38AA73E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4754038c6dcc4a2ba7a190b976f0e8030bcde7","datavalue":{"value":"computable enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358035$6D950D7C-1B09-40D5-9358-1EB6DA4D1AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358035$CFBE5391-373B-4E6F-817D-D10703FE7CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358035$2ECD6109-E402-4A95-AC37-8B9C85B382A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053dfd2ad379a7ca02bf3a42a6a928f76f2d92a7","datavalue":{"value":"semilattice of equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358035$2184E823-1DB9-457E-AF4A-6E45E9771581","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$B1FD0B49-22BB-470D-948C-CE77F09511A8","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":"Q1358035$49C935D6-D9A4-4E05-9D43-0033778AF912","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95cb7b53fbd3d9ea796f59f0ccede2bef041b78","datavalue":{"value":{"entity-type":"item","numeric-id":4133621,"id":"Q4133621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$1511C342-A17C-47E2-A473-E4C59A198301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faef441dda9136b77284335d79834f1dab91ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1317638,"id":"Q1317638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$A58E04E7-775A-4BD0-81B5-A594F009DA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7275d3226fa8866e256bdc60fcfce0376c8c522c","datavalue":{"value":{"entity-type":"item","numeric-id":1115864,"id":"Q1115864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358035$2EBA785C-B002-44A4-943F-ED300033EC90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973427f081ffeb32ad7de852a77cbb8079162b75","datavalue":{"value":{"entity-type":"item","numeric-id":4946892,"id":"Q4946892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860ae127fd1afd82901ad1f5dbab7518a1c85021","datavalue":{"value":{"amount":"+0.9489385","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":"Q1358035$401E4CDD-6679-4625-99C6-F1FD027C8AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e236303c63edc9852a11a26069044d64c755b3b4","datavalue":{"value":{"entity-type":"item","numeric-id":1309342,"id":"Q1309342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d1a2df3b12d8f9fe7dc10285f18eb2b876681c","datavalue":{"value":{"amount":"+0.9340951","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":"Q1358035$727A7EAC-90B4-49C8-A567-2E4E73BC87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727176911f1638595683e79b57b701feb310134e","datavalue":{"value":{"entity-type":"item","numeric-id":1362397,"id":"Q1362397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fce328e4ea0a1707e0c67922d7bd7faa4e0839","datavalue":{"value":{"amount":"+0.93006915","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":"Q1358035$78DC1644-52FF-4CFC-8978-A75F14B230E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6024cb8e97c447c12bf54ddb8932704d7ae1349","datavalue":{"value":{"entity-type":"item","numeric-id":3751801,"id":"Q3751801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea35d42daa66a065fe88308da0124bd42a1b0ac","datavalue":{"value":{"amount":"+0.92542976","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":"Q1358035$A1DF0C92-9472-46D8-8FBE-4066EC178565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7e463623ad0f401575ca0fb4f205ab3a42c2b1","datavalue":{"value":{"entity-type":"item","numeric-id":3698352,"id":"Q3698352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f08c0e535991bc4fcb7a5bfa6485a81998f1329","datavalue":{"value":{"amount":"+0.9242519","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":"Q1358035$177C41A5-055D-410D-B780-EBEA3736410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faef6e4a0b791f8ca3e73346b4c6fd640410aaa8","datavalue":{"value":{"entity-type":"item","numeric-id":3208719,"id":"Q3208719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8669c90766e40695bac73717599d2c6cbc05c04c","datavalue":{"value":{"amount":"+0.9239912","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":"Q1358035$C06CB617-EE9E-4D60-B45C-5BB75CE75B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6daee0630419dcacaebc444fef31a18387e8d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":5761877,"id":"Q5761877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f77624541b1dd3b075bdf619c78360b110b9e39","datavalue":{"value":{"amount":"+0.92350423","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":"Q1358035$C887AF56-EA71-476C-AD22-72D514115567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59335b80ccad9d46b6ea36dd05be082b3db5f27e","datavalue":{"value":{"entity-type":"item","numeric-id":3690091,"id":"Q3690091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be939ce36b2759d4f26d629364d9a4cda8600ece","datavalue":{"value":{"amount":"+0.92250866","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":"Q1358035$1EC53E8D-F4E8-4256-A331-BAB35773AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c383a0709fabc1e84a7da9237de74a026d6d2eec","datavalue":{"value":{"entity-type":"item","numeric-id":4488522,"id":"Q4488522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea2d65525bad4656e780d4bed3d930dfd181444","datavalue":{"value":{"amount":"+0.9223305","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":"Q1358035$D266FFA0-2AF8-4547-8970-ADB752974E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf86e296a9672b0be5de309b63b8ec2539b9e03b","datavalue":{"value":{"entity-type":"item","numeric-id":4361614,"id":"Q4361614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea2d65525bad4656e780d4bed3d930dfd181444","datavalue":{"value":{"amount":"+0.9223305","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":"Q1358035$25D78C66-269A-48AB-8E40-001671F04EFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Selivanov's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Selivanov%27s_theorem"}}}}}