{"entities":{"Q1295401":{"pageid":1306151,"ns":120,"title":"Item:Q1295401","lastrevid":68393223,"modified":"2026-04-12T23:24:46Z","type":"item","id":"Q1295401","labels":{"en":{"language":"en","value":"The dense simple sets are orbit complete with respect to the simple sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308083"}},"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":"Q1295401$4ACF1BB9-329F-46F1-BCE8-B7E16066051B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8635105865473c5a1b2653ba8d7a6a80b6cd4d66","datavalue":{"value":{"text":"The dense simple sets are orbit complete with respect to the simple sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295401$CB20327E-3B34-425C-A9F8-02D48E8F82BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc1f95e1caca1f85da6e88cabe9e349c05e1a6e","datavalue":{"value":"0924.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295401$758458D5-CB40-48D9-B1BA-C197EC3CE855","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01f17766e8d7c4f5d82840d1df3b311cca78ace8","datavalue":{"value":"10.1016/S0168-0072(97)00065-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295401$10F922DA-AC45-4A3C-B07C-938323DF2652","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":"Q1295401$AC20FBF6-880D-49D5-8B6E-28FB10708EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3101a11bd8e29272e2d08448a17f7950c315162f","datavalue":{"value":{"time":"+1999-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":"Q1295401$4DE7ABB6-133D-4676-9E9E-C5E03768F7B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87cbc175d3359655c3564bef7f52800a38ef4797","datavalue":{"value":"A collection \\(\\mathcal C\\) of computably enumerable sets is orbit complete w.r.t. a class of computable enumerable sets \\({\\mathcal D}\\) if for every set \\(A\\in {\\mathcal D}\\) there is a computably enumerable set \\(B\\in{\\mathcal C}\\) and an automorphism \\(\\Phi\\) of the computably enumerable sets such that \\(\\Phi(A) = B\\). A set \\(B\\) is dense simple iff \\(B\\) is computably enumerable and the principal function \\(p_{\\overline{B}}\\) of \\(\\overline{B}\\) dominates every computable total function. The paper under review shows that the dense simple sets are orbit complete w.r.t. the simple sets. This implies a positive answer to the conjectures of Herrmann, that the collection of hypersimple sets is orbit complete for simple sets, and of Stob, that the collection of dense simple sets is orbit complete [see \\textit{T. Slaman} ``Open questions in recursion theory'', Continually updated since 1993 (URL: http://math.berkeley.edu/slaman)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295401$D924F855-E22B-481A-A169-DAE937387FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295401$469C941A-2612-4F80-97D8-A8B05DA151B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3efc626f370fe6591510f38a784c00cd908b53e1","datavalue":{"value":"1308083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295401$EB17D7DA-9FE6-460D-AEBA-6B4FB9EA8B00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4489f3ccbdc3f3cda22d0d7be1ac0bcfba19459","datavalue":{"value":"computably enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295401$991A23D1-F9D2-4C53-87EE-177D3CC9608C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894e6cfb1b6ec01fcefd5ee45558b617fe33a26a","datavalue":{"value":"orbit complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295401$D09A6A75-438A-4C3B-8CF1-B55ED6E1D3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295401$B71AA319-A0FF-4018-AA27-35DD41440B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713e4bd22382693a3a2ebdcf4efadc3dd7cc0d79","datavalue":{"value":"dense simple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295401$C8E1544C-B990-4835-86CB-D3EC28B7039F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295401$3E36898C-269B-4D70-B0F5-335580248AAB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295401$AE4F0C5C-C7B1-4EAA-BEF7-4EE12D7BF371","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":"Q1295401$6E3A48F7-598B-470F-89E8-1A1855165B1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1752cba4f3368f684f4983b347e5d63e79f63f75","datavalue":{"value":{"entity-type":"item","numeric-id":4326223,"id":"Q4326223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295401$ECA581EE-5C4A-4019-A643-7A2E6FAD9E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cda97ad584fe6ebf75f53b7dcbb4049244973c","datavalue":{"value":{"entity-type":"item","numeric-id":3138017,"id":"Q3138017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295401$7EB3B5A1-DD22-4261-B87D-6857B7F945AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0077dbddb804d57f8f724decb5b84acfd1cf05","datavalue":{"value":{"entity-type":"item","numeric-id":5687278,"id":"Q5687278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295401$6EEB7CDE-FA7A-4356-BC10-E87BEC8827AC","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":"Q1295401$90FC92BE-229F-4F64-8311-C243E9C9EDA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"374dc1519e301643d93f9a515ce783cbb0062b7f","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00065-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295401$A0FC6488-992C-4B5B-8D9B-E590EC851B15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9045c502015edb7d260153d3ebdde7d58eba59b3","datavalue":{"value":"W1974073829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295401$BD33050A-0CF5-4675-B1D8-A1052BB78354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1085d7ae193242f1f94afbf152a811971da277f","datavalue":{"value":{"entity-type":"item","numeric-id":3058264,"id":"Q3058264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008bc31ae5ccd808a5cc63540adc50ac8678a173","datavalue":{"value":{"amount":"+0.792862057685852","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":"Q1295401$75C911C4-26E3-4C39-AB80-769D7BF8F349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e814ec22c7e065d62bbbb21d9b0dd0fb6bc37991","datavalue":{"value":{"entity-type":"item","numeric-id":5387296,"id":"Q5387296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7ea0b775dc9624a152dd71bd2f2ef4b65c9aa8","datavalue":{"value":{"amount":"+0.7826843857765198","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":"Q1295401$18C6CA9E-4C9B-4C96-A99E-838265152DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae625a49c70111be9a3ef656a1bf16f1ba86971","datavalue":{"value":{"entity-type":"item","numeric-id":5437614,"id":"Q5437614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b378c4f198ffd138667c11559b941675bbe1d88","datavalue":{"value":{"amount":"+0.7523694634437561","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":"Q1295401$AD2061B0-4D0F-4AA5-8399-37A01FDA4456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dense simple sets are orbit complete with respect to the simple sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dense_simple_sets_are_orbit_complete_with_respect_to_the_simple_sets"}}}}}