{"entities":{"Q535150":{"pageid":536917,"ns":120,"title":"Item:Q535150","lastrevid":62588805,"modified":"2026-04-11T07:06:57Z","type":"item","id":"Q535150","labels":{"en":{"language":"en","value":"Relatively computably enumerable reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886776"}},"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":"Q535150$5BADD8F1-F17C-41C3-873C-70246BCF401E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4180b820f9909cbef95c8707cbca3913ecd113a7","datavalue":{"value":{"text":"Relatively computably enumerable reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535150$5650DDE9-4F7A-4602-AC58-F48656910796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3c3f1462ecc6ce962dc6094eb4bc691a61bead","datavalue":{"value":"1227.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$1B961000-35E3-465C-BAE8-9D66D99333ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f882ad9304ea9c6f897a4fc7a545dec6ae8d0d14","datavalue":{"value":{"entity-type":"item","numeric-id":535149,"id":"Q535149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$87298704-3447-4AB7-BB79-621C71AF162E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$EBD6DA0F-8AAF-4469-9DAC-1FD1CFE73114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535150$C05BFCB2-9B79-471C-9C31-40D7CEEE1F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af520d705e14c4a49c1b043f7f5d546e1aa42e65","datavalue":{"value":"https://arxiv.org/abs/0705.0776","type":"string"},"datatype":"url"},"type":"statement","id":"Q535150$60C133A5-5C71-4C13-9A29-9BCA4C9D1D66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6424eb2bc2b52beff17a72eecd1a100429bfd34","datavalue":{"value":"A real is an infinite binary sequence \\(X \\in 2^\\omega\\) in this paper. A real \\(X\\) is called relatively c.e. if it is c.e. in some real \\(Y\\) which is not above \\(X\\) (i.e., \\(X \\not\\leq_T Y\\)), and a real \\(X\\) is called relatively s.a. (simple and above) if there is a real \\(Y <_T X\\) such that \\(X\\) is c.e. in \\(Y\\) but the complement \\(\\overline{X}\\) does not contain any infinite subset which is c.e. in \\(Y\\). This paper proves the following two results: (1) Every \\(\\Pi_1^0\\) class contains a member which is not relatively c.e. (2) Any \\(1\\)-generic real is relatively s.a.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535150$D2ED5479-F400-4FD4-B39F-8E9FC3BBBB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$4600A68E-0A35-414B-98AF-4B233AA69E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$F67C33B8-8FD6-47BF-B058-C5692CAE5A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec6905d4e7f227bf31c0b927bc76801861efafa9","datavalue":{"value":"5886776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$779DAFBC-CB70-4494-AFA2-0E925741F447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d3f05c9afb3652ad1b2cf11c0358da47b5b1ae","datavalue":{"value":"relatively computably enumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q535150$538CBF8B-E48C-4637-9378-88ECF6F2A4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93102f4de543abe0eed6e2a4348abec00382b626","datavalue":{"value":"relatively simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q535150$3EA4C7DC-E795-4A06-ACCD-74335CC7DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82284c3815bbd2f948722f16987534df9e4c3f22","datavalue":{"value":"\\(\\Pi_1^0\\) class","type":"string"},"datatype":"string"},"type":"statement","id":"Q535150$91C7B38E-D42E-423A-A9A3-0487CFDBB083","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":"Q535150$3C14C971-F9E5-4C60-9E34-EAC073755446","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":"Q535150$CCA9D8DC-1F81-4376-AA19-B2EF45E17755","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b9d2195d510c85857db863732d80899fb0c01d","datavalue":{"value":"W3101046215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$2A2E4DC5-20AD-42B6-9FEA-439AA6F51D2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c68da91bd30284cb75dbd383075adab4ce0e69","datavalue":{"value":{"entity-type":"item","numeric-id":3399188,"id":"Q3399188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$8CAA9FE5-973A-4CAB-8F08-F1F9807C8C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe15e30120e7daf46970a01087105a05d03fe56","datavalue":{"value":{"entity-type":"item","numeric-id":5628119,"id":"Q5628119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$780C6FFB-2220-4037-A37D-02221D187944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7608dd12fef10223ad5e48d4b97c9fac3cc69c","datavalue":{"value":{"entity-type":"item","numeric-id":3082303,"id":"Q3082303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$AD11C448-5535-434D-8E0F-C3E52924CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503124e76cc435b0f5a03fe15048871f980537a6","datavalue":{"value":{"entity-type":"item","numeric-id":3570160,"id":"Q3570160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$27192546-DA45-40A0-A2C4-94066DFF3CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535150$018B4989-43F5-4750-9218-24F8FCA547AC","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":"Q535150$5E421D58-AFCD-4B35-9466-79495530EAAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10a10aeee1c81acab86ca0f9f97e8dc1b6702b05","datavalue":{"value":"10.1007/S00153-010-0219-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535150$C8E1CE66-F722-4B27-B098-C4713CBE56B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f207cf2ac5f7ed89af7447fb238ec8af20894893","datavalue":{"value":{"entity-type":"item","numeric-id":3173532,"id":"Q3173532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c21c704ac02bee44e4c23211db6c9c0a446b449","datavalue":{"value":{"amount":"+0.802441418170929","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":"Q535150$AAEE2FEE-F8FC-41B4-A03E-9A8798413F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53317116414f408693d59daae9854c0bdf27ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":4938551,"id":"Q4938551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae632c3d0227932137d9fcbc1c198a35efb72701","datavalue":{"value":{"amount":"+0.7734901309013367","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":"Q535150$425C36ED-36B1-40E8-BC80-EF88615630DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51882eb641746ad519606ac41cc68849f8337d9","datavalue":{"value":{"entity-type":"item","numeric-id":4551394,"id":"Q4551394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197b5ee8fca39459a4ac24c7a1bd02759b9f7158","datavalue":{"value":{"amount":"+0.7616261839866638","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":"Q535150$8AD12D53-0BCF-4E36-A90A-26CC33CBC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b60991381076f03fddd1df782d9d21569b3b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3159420,"id":"Q3159420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714409b0e1b582c4ceb47b153e4322d4f089fedc","datavalue":{"value":{"amount":"+0.7615968585014343","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":"Q535150$87E26007-00D9-405F-99F7-3B5A38526EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f259a11b2cf988952df556077f80780c0c7433","datavalue":{"value":{"entity-type":"item","numeric-id":4787854,"id":"Q4787854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc4945f395f0fca8793454ee49e26a8fac4b498","datavalue":{"value":{"amount":"+0.750062108039856","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":"Q535150$6A801249-50E2-4613-9F0F-F22BA59F011E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relatively computably enumerable reals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relatively_computably_enumerable_reals"}}}}}