{"entities":{"Q1032630":{"pageid":1034478,"ns":120,"title":"Item:Q1032630","lastrevid":66589743,"modified":"2026-04-12T11:08:32Z","type":"item","id":"Q1032630","labels":{"en":{"language":"en","value":"The jump operator on the \\(\\omega \\)-enumeration degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620639"}},"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":"Q1032630$A174B0D4-5E47-4E3C-AFF8-72DDED7F7BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3a43cce3bb64c07f04726934cf686d3bda94d9","datavalue":{"value":{"text":"The jump operator on the \\(\\omega \\)-enumeration degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1032630$4300FF32-04FC-436F-A3D3-5DDB26C91EE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54a60ab0d74346f2cbc6a353f337f969a33e78ef","datavalue":{"value":"1183.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$0FCCFDE1-AADA-4834-BB86-A4B9C1215497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d86434d69e6d3a51fed0c46b5b782b17130a6b","datavalue":{"value":{"entity-type":"item","numeric-id":283103,"id":"Q283103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$FD948DAC-FAA4-4391-8AE4-7F0FFCAC687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e522bf80d63c061c6b099160308fa331e4f35e","datavalue":{"value":{"entity-type":"item","numeric-id":1032629,"id":"Q1032629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$9873E07C-ABF9-4016-B987-6FEA5E321462","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":"Q1032630$DE7A8566-90FE-43AA-9E53-DC17155C4940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1032630$1554E27F-9AF3-4351-90F6-F73393A6EC09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25c0da2c250673fd884b996e16126dd584929b06","datavalue":{"value":"The upper semilattice \\(\\mathcal{D}_{\\omega}\\) of \\(\\omega\\)-enumeration degrees and the jump operator in the \\(\\omega\\)-enumeration degrees was introduced in [\\textit{I. N. Soskov}, ``The \\(\\omega\\)-enumeration degrees'', J. Log. Comput. 17, No. 6, 1193--1214 (2007; Zbl 1174.03018)]. A set \\textbf{A} is enumeration reducible to a set \\textbf{B} if there is a c.e. set \\(\\Phi\\) such that:   \\[ \\mathbf n \\in \\mathbf A \\Leftrightarrow \\exists \\mathbf u(\\langle \\mathbf n,\\mathbf u \\rangle \\in \\Phi \\, \\& \\, D_{\\mathbf u} \\subseteq \\mathbf B), \\]  where \\(D_{\\mathbf u}\\) denotes the finite set with canonical index \\textbf{u.}  The following results are obtained in the paper under review:  1. The enumeration degrees are first-order definable in the structure \\(\\mathcal{D}_{\\omega}'\\) of the \\(\\omega\\)-enumeration degrees augmented by the jump operator.   2. The groups of the automorphisms of \\(\\mathcal{D}_{\\omega}'\\) and of the enumeration degrees \\(\\mathcal{D}_{e}\\) are isomorphic.   3. Let \\(\\phi\\) be an automorphisms of \\(\\mathcal{D}_{e}'\\). Then \\(\\phi(x)= x\\) for all \\(x\\) above \\(\\mathbf 0_e^{(4)}\\).   In the second part of this paper, the jumps of the \\(\\omega\\)-enumeration degrees below \\(\\mathbf 0_{\\omega}'\\) are investigated. The ideal of almost zero degrees is defined and the authors obtain a natural characterization of the class \\(H\\) of the \\(\\omega\\)-enumeration degrees below \\(\\mathbf 0_{\\omega}'\\) which are high \\(n\\) for some \\(n\\) (Theorem 5.8) and of the class \\(L\\) of the \\(\\omega\\)-enumeration degrees below \\(\\mathbf 0_{\\omega}'\\) which are low \\(n\\) for some \\(n\\) (Theorem 5.9).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032630$15004C08-C3EB-4F30-9BAD-BA7795AB71B6","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":"Q1032630$50D81256-78B1-4270-AADF-FF536759D923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$5580D2EA-D0AD-4237-B662-73996BA2D3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$D02C9C96-B79A-485F-8FDD-0BE9461A5E28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c78f98f5dcf7126154907ef79a307590d70e521f","datavalue":{"value":"5620639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$D5A531B4-2B15-4579-8C1B-888DD9FE7B78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77b9a32e0baa8bd8214c3d8c2ffcdc9086d31ff","datavalue":{"value":"\\(\\omega \\)-enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032630$1186EDFD-A807-4AFD-A7D4-26A2CD7A556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0249355a8cdf1f888808e13250c420c84fb4c63f","datavalue":{"value":"jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032630$232426B7-8083-4CA5-B67D-0EDD203C35F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032630$CDFAFA9A-6D74-4708-9488-B586151DEC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41456f8f874738adbc65d25cd265059ff486b1c8","datavalue":{"value":"high and low hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032630$7FADC6A9-6C17-4494-8F2B-9126E16B9D83","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":"Q1032630$E975F4E7-F1D4-430A-B909-E67F5DE0EAEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcc24c4f100fc459ae49064d44542d0c5af26537","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1032630$5D4CBA98-8F72-4C7E-969F-0E37E5110C9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1583d7b050f80b1a870628a8f479b232d71ade4","datavalue":{"value":"W2023232607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$0D6A845A-909C-44CB-83C1-30CFAFD65DA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe7d49fb29def56725be199327dbd6615d7e19c","datavalue":{"value":{"entity-type":"item","numeric-id":3691654,"id":"Q3691654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$448247D3-9738-4ABF-B642-F24015A63983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea115c4b94fa65ec5ba075bdec93ed74b89c02","datavalue":{"value":{"entity-type":"item","numeric-id":3487329,"id":"Q3487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$AF403E49-DAE6-4903-BC39-6AB4E3AA79B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55694f32739c5ad5b0fa8580d82f50cec8be6c49","datavalue":{"value":{"entity-type":"item","numeric-id":4460756,"id":"Q4460756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$7D3E317E-ADD2-4059-BFB3-694F5EF5CCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4421558f76177e7f057a96acf4969bde6b30b7e6","datavalue":{"value":{"entity-type":"item","numeric-id":1204114,"id":"Q1204114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$CD9E828A-FF57-4DD2-9F63-2B0E34606CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$E3EAA44F-C961-4DF8-B66A-E37FBBDDB864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067c4fd104d748e488a0993e9fadb246f4070949","datavalue":{"value":{"entity-type":"item","numeric-id":3726105,"id":"Q3726105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$6B9F9A79-1372-4D20-B9D9-750BCC099479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2817915ac6431cf0ba3db6b1f918c3034d11000b","datavalue":{"value":{"entity-type":"item","numeric-id":1252852,"id":"Q1252852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$C81586C6-85E3-4FB9-964C-CC9E53E2EF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab90453baf406aa3f7c8428f867542de4b82f1","datavalue":{"value":{"entity-type":"item","numeric-id":5636865,"id":"Q5636865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$3494D5E6-538F-4C2F-B8B2-C86ADBE9018B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b677aa98ee3d5e36aa503a29470861acf03d9ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1584013,"id":"Q1584013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$33BC59B4-1098-49C0-AA58-7C4B174B912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c8e8f64835108e0def09ed9be28915e803082b","datavalue":{"value":{"entity-type":"item","numeric-id":5441128,"id":"Q5441128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$85AE9D1D-57AE-4583-88D3-04CFE55309D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef966cc987177858e06c821cf03ec69c71cc6671","datavalue":{"value":{"entity-type":"item","numeric-id":3422026,"id":"Q3422026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$8B64444F-7ACA-4977-9DD4-7DE9A59921D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac83c823051596370ae15c2c1d14e1f0647131","datavalue":{"value":{"entity-type":"item","numeric-id":3503759,"id":"Q3503759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032630$7968BB32-37D4-4B17-B90F-A44ABE987CEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6ab5b8f23f8c9103cd1a0ece1591f4ef33295fc","datavalue":{"value":"10.1016/J.APAL.2009.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032630$9F8FEB4E-D40A-484F-8AC7-A11ABF971BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83376fa0b642301c56128282d5728443075af47d","datavalue":{"value":{"entity-type":"item","numeric-id":5441128,"id":"Q5441128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55063c5654162cdc83bd7f45d80e17a72d8f18d","datavalue":{"value":{"amount":"+0.8358665704727173","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":"Q1032630$06B6E676-6B4B-486A-A624-84D6F31755A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f538ce7b78dca96a7ed7df87b9fa6b36091b6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":764275,"id":"Q764275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7e4dcb7ee95810f7cdf9bb9f60a0bd20aa2c9c","datavalue":{"value":{"amount":"+0.8174241185188293","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":"Q1032630$1D0C5611-14B3-494D-A3F1-968CD34B2175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3008a0ce1d94d970fb8bb2de0719a55802d0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2907064,"id":"Q2907064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ac5ed6092f0bac68c246226a1779da491c0a27","datavalue":{"value":{"amount":"+0.8158761262893677","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":"Q1032630$44DF5A89-6A20-4122-BF36-C8D43826458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db1b02dc6d09714cabe9ad103b45fbe379f4d0e","datavalue":{"value":{"entity-type":"item","numeric-id":4460756,"id":"Q4460756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c7fbfe1d4a491df730f74b680b5183fd72bc51","datavalue":{"value":{"amount":"+0.8130934834480286","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":"Q1032630$A50F5A86-FFCA-43A8-860A-EEFC192F204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fce698ad65076bdffdbe1c023851d2e1d06e700","datavalue":{"value":{"entity-type":"item","numeric-id":4993819,"id":"Q4993819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab736f83649df3919d1cf861b4e80a2b9615fc3","datavalue":{"value":{"amount":"+0.8092228770256042","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":"Q1032630$60F9FAF4-5BB3-415F-BC73-48415D95155E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The jump operator on the \\(\\omega \\)-enumeration degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_jump_operator_on_the_%5C(%5Comega_%5C)-enumeration_degrees"}}}}}