{"entities":{"Q1095136":{"pageid":1105888,"ns":120,"title":"Item:Q1095136","lastrevid":49116166,"modified":"2026-01-06T15:07:38Z","type":"item","id":"Q1095136","labels":{"en":{"language":"en","value":"The limits of E-recursive enumerability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027454"}},"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":"Q1095136$D58620F3-6696-4B30-9606-D375F32CF6A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a3bf0911b2713d7a473f534ec8c954c26260bb","datavalue":{"value":{"text":"The limits of E-recursive enumerability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095136$5D010D0B-378F-457F-8CF2-0E8109E8A6F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b513cec62810ed4c3f18b0a03b950f36c67d0ac4","datavalue":{"value":"0632.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095136$D7B8A32A-F866-491C-8DB8-4F887BE6A7ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375325529eb707ba0a7d0cbfa8540e1cfb1bcf5e","datavalue":{"value":"10.1016/0168-0072(86)90064-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095136$BFEFB02F-8B3E-476B-A7B3-5F517E7281D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6310f47b5d6e884d0d45ff98b6c9a388825cb743","datavalue":{"value":{"entity-type":"item","numeric-id":998134,"id":"Q998134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$99EC53E0-259E-4C9C-9CC1-D9E5C00F53DF","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":"Q1095136$3B70A2E7-F56F-42F6-AFC6-4AE195151F43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095136$B126AC1D-48C5-4B15-A58B-6075A843A091","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a101076139f3465843a9673ff2989f68b5c99e9d","datavalue":{"value":"A classical result of Kleene is: \\(2^{\\omega}\\cap HYP\\) is recursively enumerable in \\({}^ 2E\\). Restated in E-recursion theory, it says: \\(2^{\\omega}\\cap E(\\omega)\\) is E-recursively enumerable in \\(\\omega\\). Forcing, compactness and fine structure techniques decide various possible extensions of Kleene's result. Suppose L(\\(\\kappa)\\) is E-closed but not \\(\\Sigma_ 1\\) admissible. Let cf and gc denote cofinality and greatest cardinal in the sense of L(\\(\\kappa)\\). Then (i)\\(\\leftrightarrow (ii)\\). (i) \\(2^{gc(\\kappa)}\\cap L(\\kappa)\\) is E-recursively enumerable in some \\(a\\in L(\\kappa)\\). (ii) \\(\\omega <cf(gc(\\kappa))<gc(\\kappa)\\); or \\(cf(gc(\\kappa))=\\omega\\) and every amenable subset of gc(\\(\\kappa)\\) belongs to L(\\(\\kappa)\\). Thus (i) fails if gc(\\(\\kappa)\\) is regular (in L(\\(\\kappa)\\)), or if \\(cf(gc(\\kappa))=\\omega\\) and \\(\\kappa\\) is countable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095136$B80535B8-DC3D-4CF3-81E3-417C383D60A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095136$6C50C248-CCD7-4F39-A8F5-E88593BE93F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7c386c8b98ec57e0204b682a82bdc7fa0fedeee","datavalue":{"value":"4027454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095136$623C2033-2B57-4365-B7F4-E51D3D9F3E2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb96a8c3635766dff1a4e252cc344526b7c0178","datavalue":{"value":"E-recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095136$CE99C29E-EF7E-480A-8F4B-B47E02017B98","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":"Q1095136$AD592EF1-0ED0-4C43-8E9B-3839BDB3F6E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"861927dcb5917abd407e0b47e73f7fef6a895e59","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90064-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095136$E2DBC9F0-3BE3-47A4-8F33-BE03D49924E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f932572fdae9f817cd2997c461b0137913cd67e","datavalue":{"value":"W2001479798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095136$DE951BC7-2558-42BA-93B1-2804E1099481","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4c4d9a56dbfe443a8e06864b57c6d8d67e568f","datavalue":{"value":{"entity-type":"item","numeric-id":5731778,"id":"Q5731778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$F6A74DF0-2097-4743-847B-B6C5ABA8BCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c200c2b5ee6335f2ce7fd76674767e3dd15b93be","datavalue":{"value":{"entity-type":"item","numeric-id":3926564,"id":"Q3926564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$1D8996DA-9793-4148-A9A1-30287D39B87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505903792ffc7ad39bb74a5b060ea96e54845c5","datavalue":{"value":{"entity-type":"item","numeric-id":5542099,"id":"Q5542099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$98F57677-029E-4CD2-A9A0-A99BFE0483E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfc78f60656e4465db679208ddf1b9e14a3ed73","datavalue":{"value":{"entity-type":"item","numeric-id":1102950,"id":"Q1102950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$6847864B-DAA0-433E-858E-E361F12419E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f06fb55172a8c39b45ca141e5afc7dc6f912e16","datavalue":{"value":{"entity-type":"item","numeric-id":4108331,"id":"Q4108331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$AFB98272-51B4-4E1B-A1DE-5817E8BC94FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454162ed0ff1546204e5cd83a3b6ca5d40ed2cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1152361,"id":"Q1152361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$CB206695-6051-4A5D-83F1-509F525635D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01f5026871a487f1218a49f7751ddae0e660eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1055768,"id":"Q1055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$F1921D87-68EE-488B-BD6D-7D716B0015C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bacb869ac1e9febf1551f80e0f94b8cf8173d0","datavalue":{"value":{"entity-type":"item","numeric-id":4774042,"id":"Q4774042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$5065FA4A-D0B4-417A-9449-1EEB40FFCF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866bf558f02b37b40bce9ae2ee9af0839eaeb375","datavalue":{"value":{"entity-type":"item","numeric-id":4149445,"id":"Q4149445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$A7C87648-0E6D-483A-998B-CA947888DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f9e080f623f4cb3a030a9346791873bf61f74d","datavalue":{"value":{"entity-type":"item","numeric-id":3880831,"id":"Q3880831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$87D61E79-6045-4C65-8553-4CFA151DFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6a6faf26f6d50289b85ae22e2f4470de04c836","datavalue":{"value":{"entity-type":"item","numeric-id":1062978,"id":"Q1062978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$3A7CC764-4313-40F4-9B00-B4CD8D812AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$A3C90AF0-AA32-4B62-9F5B-E2E88348A2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8825b8acc1e692dc666586c06cd018fb2eee9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1092895,"id":"Q1092895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$2256F2EB-D859-41B1-B2AF-74FFBF5584EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e76d69071ba111fad661365ddd568b9cdaec38","datavalue":{"value":{"entity-type":"item","numeric-id":3342551,"id":"Q3342551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$5FE4C2F2-296F-4DB0-9D31-85AC56EA3FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509cf55aa315a445cca690669cad34e437c5b90a","datavalue":{"value":{"entity-type":"item","numeric-id":3689175,"id":"Q3689175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$3DB1A10F-7133-4B5C-AC2D-A8AE17EC891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$E8F73A72-0713-4193-8125-DB936C3CE4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfcfb5d7d4646e134389c585c60a3785c127900","datavalue":{"value":{"entity-type":"item","numeric-id":5582332,"id":"Q5582332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$4D7077FA-5B01-454E-95EF-083F7E9966DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bd4bf4585619976867996a7f8183c00ea3ac43","datavalue":{"value":{"entity-type":"item","numeric-id":3693523,"id":"Q3693523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$FA41BEB2-46CE-4021-B563-A6CC93A8E89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eac1d55700626ddc30930ab5ee06383ed4f45a","datavalue":{"value":{"entity-type":"item","numeric-id":3727980,"id":"Q3727980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095136$E3D40097-B47F-4805-9E10-8D7015247E56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2ec4b7707b8ead3a6b7336df59583e24f4332","datavalue":{"value":{"entity-type":"item","numeric-id":1062978,"id":"Q1062978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066a7ce7fbd66d9e7ee056a43aed71d50cd672d8","datavalue":{"value":{"amount":"+0.8529985547065735","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":"Q1095136$65190468-A6DF-48E3-B705-DBB7DF35F3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317a19bdcb1b0bee2a750eff88396f996562bd04","datavalue":{"value":{"entity-type":"item","numeric-id":3691657,"id":"Q3691657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c494671a9e4a169067c85bd3884a184b6380bf51","datavalue":{"value":{"amount":"+0.8372339010238647","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":"Q1095136$5370F7DC-EDED-4E82-9C60-929CB43999C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9a3f1ea70990b18811845e5d0f432ef4cf32f9","datavalue":{"value":{"entity-type":"item","numeric-id":3461818,"id":"Q3461818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68968468779001b5c86fa3edbcf1dd3df2f88273","datavalue":{"value":{"amount":"+0.8146776556968689","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":"Q1095136$28649F26-318B-4CF2-B639-47365B2C1E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922faf20d9b5d4cfa841f1c975fdc993c7e01e95","datavalue":{"value":{"entity-type":"item","numeric-id":3727980,"id":"Q3727980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d893a6fbd6479a0b8c7cb283bdfbe568569f36a7","datavalue":{"value":{"amount":"+0.7891499996185303","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":"Q1095136$8F344F78-C025-4A02-A57F-265203084E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49189f7df26f9430bf86b17b3ed8c206c88896b9","datavalue":{"value":{"entity-type":"item","numeric-id":3464660,"id":"Q3464660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b12f5276c037004f06542585310413778ac8fd1","datavalue":{"value":{"amount":"+0.7646358013153076","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":"Q1095136$60BDD3C2-3499-452F-A14E-15EDA98F30D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1095136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1095136"}}}}}