{"entities":{"Q1186287":{"pageid":1197036,"ns":120,"title":"Item:Q1186287","lastrevid":66798039,"modified":"2026-04-12T12:55:17Z","type":"item","id":"Q1186287","labels":{"en":{"language":"en","value":"Automorphisms of the lattice of recursively enumerable sets: Orbits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36406"}},"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":"Q1186287$212EF050-4514-4404-B898-4AAC74875C7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"743758eb75daa449482bac18709a764db7009ece","datavalue":{"value":{"text":"Automorphisms of the lattice of recursively enumerable sets: Orbits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186287$A2861522-6362-4343-86D6-168FD13B269B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c1f448138b1a2da03667b1b2cf1e4f6b7cbb24","datavalue":{"value":"0758.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186287$61D7F8BA-AF52-46C9-AA08-101E3F92D539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"250f42ef43c0615af36f7b7a3d7278412eb59ae6","datavalue":{"value":"10.1016/0001-8708(92)90065-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186287$11B36573-76D1-42B8-8C8A-21E2F72EFBF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4761e83e89cc17291485567599a5ae1ee159d81b","datavalue":{"value":{"entity-type":"item","numeric-id":685056,"id":"Q685056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$29C99C68-24B5-4847-8D96-D7A4F5ED272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$51E05C34-55AF-4050-ACD1-8928E2596A3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$110EED89-C48D-4069-8704-65A36293FA43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186287$4A80D665-BBA8-4037-85A1-E104ECAF6631","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4b6098028877e2c5156787e8dc8b7252685b0c3","datavalue":{"value":"An r.e. set \\(A\\) is hemimaximal if there are a maximal set \\(M\\) and disjoint r.e. sets \\(A_ 0\\), \\(A_ 1\\) such that \\(A_ 0\\cup A_ 1=M\\), each \\(A_ i\\), \\(i=0,1\\) is nonrecursive, and \\(A_ 0=A\\). The following surprising result is proved.   Theorem 3. If \\(C\\), \\(D\\) are hemimaximal sets, then there is \\(\\Phi\\in\\text{Aut}({\\mathcal E})\\) such that \\(\\Phi(C)=D\\).   Let \\(H=\\{\\deg(A)\\): \\(A\\) is hemimaximal\\}. It is shown that: (a) For every nonzero \\(c\\) r.e., there is \\(a<c\\) such that \\(a\\in H\\). (b) \\(H_ 1\\subseteq H\\). (c) There is a nonzero degree \\(c\\) such that \\(c\\not\\in H\\). (d) For all \\(a<b\\), if \\(b\\in L_ 1\\), there is a degree \\(c\\not\\in H\\) such that \\(a\\leq c\\leq b\\).   An r.e. set \\(A\\) is halfhemimaximal if there are disjoint r.e. sets \\(A_ 0\\), \\(A_ 1\\) such that \\(A=A_ 0\\cup A_ 1\\), each \\(A_ i\\) is nonrecursive, and \\(A_ 0\\) is hemimaximal. It is shown that every halfhemimaximal set is automorphic to a complete set. Every nonzero r.e. degree contains a nonhalfhemimaximal set.   An r.e. set \\(Q\\) is \\(k\\)-quasimaximal if \\(Q\\) is the intersection of exactly \\(k\\) maximal sets which are pairwise infinitely different.   Theorem 14. Let \\(A\\) and \\(B\\) be \\(k\\)-quasimaximal and \\(A_ 0\\), \\(A_ 1\\) and \\(B_ 0\\), \\(B_ 1\\) be Friedberg splittings of \\(A\\) and \\(B\\), respectively. Then there is \\(\\Phi\\in\\text{Aut}({\\mathcal E})\\) such that \\(\\Phi(A_ 0)=B_ 0\\).   Some open questions are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$2F051997-6343-4B52-88A0-DABC50F2B594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186287$8CB65129-7D39-41CE-8788-A5D96668E390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb68e99325e5018c4479d979b7d9365db62640fc","datavalue":{"value":"36406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186287$F8395B1F-2313-42EF-AB95-AD6666AEA568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2a1b8dd2902185390ec17f1d4ad210c2a10492","datavalue":{"value":"lattice of recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$178B8BCA-04FA-4D73-B0CA-A0AB15C05AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$0A5F1472-20E0-454C-B510-A8BBA75FACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$29947DC4-191A-4EB0-B451-265965F708B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6227cc947cf9a74f5815fc1aa6e22b6f81bd1c1","datavalue":{"value":"hemimaximal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$A937E953-06FF-4A51-95C0-86B3B128917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7ad8ad6524e76b7287c473e9e4c309ea8ac920","datavalue":{"value":"halfhemimaximal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$9BE0E4AB-7D84-404C-8EAC-F50C6969835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de1d3d1e4aa37a29281012aca1cd95d18400555","datavalue":{"value":"Friedberg splittings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186287$50B7588D-1FEC-432B-8E1C-6FB0DE5A02EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$BD87522D-32EF-4D6A-B849-5330DFC7C726","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":"Q1186287$2A221D1C-4930-400E-96B7-4C18636831A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a406cf8fec229d180fb383a0f89a4999a1fe30f8","datavalue":{"value":{"entity-type":"item","numeric-id":3826534,"id":"Q3826534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$EADF4AE4-D4ED-465A-894D-8311BED06058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd6e117191e9de0dc1e35becdd968a47cb37a56","datavalue":{"value":{"entity-type":"item","numeric-id":1255315,"id":"Q1255315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$0E07E08F-C1F7-406D-B7C9-56B16E0D27A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee4b360909e8e61de177fd3ff2fe1467912b25e","datavalue":{"value":{"entity-type":"item","numeric-id":3041179,"id":"Q3041179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$7B2363ED-CE98-44CF-BA26-44E6B1CBFF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d4310999bbbfb65881d6162be772467bd60d3","datavalue":{"value":{"entity-type":"item","numeric-id":3728889,"id":"Q3728889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$32F1A167-2152-4FB3-9047-8A0C1D9A295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d5e832e538eb4b0e623ff1a7447d3803d75a6","datavalue":{"value":{"entity-type":"item","numeric-id":5593823,"id":"Q5593823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$3EE6F2BE-A601-4570-814B-8104A12C7674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b0e409ebcee6cee216ed726bbf3a24be14c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3337460,"id":"Q3337460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$0975FC99-6C22-47F3-B064-4F35717EB3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a623f649027635a4c99f1d37ce30c20ad7a06","datavalue":{"value":{"entity-type":"item","numeric-id":793018,"id":"Q793018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$79DC417F-F8FD-4988-ACF2-03F649138F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf2cc8169aeb384367eceeb5316a465d5b710d","datavalue":{"value":{"entity-type":"item","numeric-id":5620591,"id":"Q5620591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$0DCE4236-D00E-48B4-A98A-2F8A7047FDDA","rank":"normal"},{"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":"Q1186287$1561049C-35BD-4A8E-95D6-6832674EF3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb2d1d2fcf2a85571869813af6e029b5ac5ce43","datavalue":{"value":{"entity-type":"item","numeric-id":4140972,"id":"Q4140972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$F1CAB5E7-B680-4DF2-924D-1003CDAA5692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$460D5C59-DC54-4FF9-AAF6-D24348952131","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":"Q1186287$A9551554-8046-44A2-8026-E6F9B9BC4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2672a10af3428154110372773946afeaa5b03b8","datavalue":{"value":{"entity-type":"item","numeric-id":790103,"id":"Q790103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186287$C2850048-B703-4CCE-A1E6-3351F3242CC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b18d445da42a95e629f39cd2176402a33d0e5d2","datavalue":{"value":{"entity-type":"item","numeric-id":3982858,"id":"Q3982858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820514b1de3e11a471fb0184ecb5a833ff625679","datavalue":{"value":{"amount":"+0.8518819212913513","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":"Q1186287$FF31873B-1619-4263-8CAF-9930A7340A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd42a36023833214974865773c41a442c2f02622","datavalue":{"value":{"entity-type":"item","numeric-id":685058,"id":"Q685058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf8d08aa5244d569bb4cd2befef5f9d6a585501","datavalue":{"value":{"amount":"+0.849035918712616","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":"Q1186287$DAF112DA-3F05-446B-8124-3743339581D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67a81f76dcf78626ce7bbe0936f96a474c0a1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4326223,"id":"Q4326223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498afb2c4dcfbea49d6cf7f5167b5fc93d646085","datavalue":{"value":{"amount":"+0.8084571957588196","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":"Q1186287$D99A55D3-C9E0-465A-9F10-2CC8EB3799B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c87940c904eae273ca0d1f7005090bb85b1bc3","datavalue":{"value":{"entity-type":"item","numeric-id":1923566,"id":"Q1923566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdef130479f779ca0d0cf976d53e36d8efec0c85","datavalue":{"value":{"amount":"+0.8069645166397095","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":"Q1186287$26F82DFC-EE45-43E8-85E3-C2FBAA7D6BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8ea94e22259e48a152b35f4f0c1a6e3e5b26a","datavalue":{"value":{"entity-type":"item","numeric-id":3773863,"id":"Q3773863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57f414e94875e371e8f59ad19bc8b0ef21be455","datavalue":{"value":{"amount":"+0.7939648628234863","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":"Q1186287$A1D63E8E-7FF4-4350-82E9-16FBEDB22A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of the lattice of recursively enumerable sets: Orbits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_of_the_lattice_of_recursively_enumerable_sets:_Orbits"}}}}}