{"entities":{"Q1885646":{"pageid":1896388,"ns":120,"title":"Item:Q1885646","lastrevid":57593496,"modified":"2026-03-31T13:16:15Z","type":"item","id":"Q1885646","labels":{"en":{"language":"en","value":"On needed reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2114639"}},"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":"Q1885646$1D65E6FB-BF79-4AC0-B8B9-3AB55FF5CDC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5834db838b8d93961e24f130ee42c0a4a29f4963","datavalue":{"value":{"text":"On needed reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1885646$AE8C40CE-F501-4DC7-BB4A-D1E7929625B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d9d9c83818dcc86e6bc48c1c63f7973ae29e06","datavalue":{"value":"1058.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885646$5F84C819-DB61-4FEB-B1BB-9566060636FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c2939fd3fc15df9398f34fbf556cb00a7c695e","datavalue":{"value":"10.1007/BF02772209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885646$0A170B6A-2276-4424-9D8B-275BBE29A144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ed88144f8e77d3f597a755edcd2688505232bb","datavalue":{"value":{"entity-type":"item","numeric-id":175051,"id":"Q175051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$25258AB2-B5F4-4729-B981-7DA466A19615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$849EC1C4-5253-4CE1-8462-1CC5266ED354","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$848D2075-787B-42EC-995E-DA173F79622E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fde8af2dd03b55361e21958cda594740cb3078e","datavalue":{"value":{"time":"+2004-11-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":"Q1885646$857CC4F0-26AA-49F7-A4F7-7611DAAC96F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63eec7d814ae7905cba337506a689f4fdf87afe","datavalue":{"value":"https://arxiv.org/abs/math/0104276","type":"string"},"datatype":"url"},"type":"statement","id":"Q1885646$A4A44D8D-AAE3-415F-B677-B88BD2265E51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df0fa26cf7446cf3c6ad181cd8e8659fc3a8836c","datavalue":{"value":"Extending work of \\textit{A. Blass} [Ann. Pure Appl. Logic 109, No. 1--2, 77--88 (2001; Zbl 0980.03055)] and answering some problems posed by him, the authors study the notion of {needed real} for a cardinal characteristic of the continuum: A set of reals \\(D\\) is {dominating} with respect to a (binary) relation \\(R\\) on the real line if for each \\(x\\) in the domain of \\(R\\), there is \\(y\\) in \\(F\\) such that \\(xRy\\). A real number \\(a\\) is {needed} with respect to \\(R\\) if in each \\(D\\) which is dominating with respect to \\(R\\), there is an element from which \\(a\\) is Turing computable. Replacing ``dominating'' by ``dominating with minimal cardinality'' we get the related notion of being {weakly needed} with respect to \\(R\\).  The authors consider various important cases of cardinal characteristics of the continuum. The main results of the paper's 7 sections are as follows:   (i) Every real needed for the cofinality relation on the ideal of (Borel) Lebesgue null sets is hyperarithmetic.   (ii) The analogous statement for the slalom relation also holds.   (iii) Sufficient conditions on a relation \\(R\\) for the result of Sections 1--2 to hold for it.   (iv) A forcing extension where all hyperarithmetic reals are weakly needed for the reaping relation.   (v) Consistently, there are more weakly needed reals than needed reals.   (vi) A bound on the complexity of needed reals for the reaping relation is obtained, and it is shown that consistently, weakly needed reals and needed reals for the reaping relation do not coincide.   (vii) A sufficient condition on \\(R\\) for weakly needed reals coinciding with needed reals. An example is supplied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885646$4B1BE3E0-0B69-4616-AE9D-B870B8A43667","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c0a7ccd260081a2531781e975e7663c09541175","datavalue":{"value":{"entity-type":"item","numeric-id":306052,"id":"Q306052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$67569A3F-84A9-496F-B911-D52C5166FAA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885646$586542EC-4D11-4D98-A560-A7470F0C4F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885646$20A65387-9360-47B2-AE12-AFCABF7E88E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ad6d455b73674ce372ef4b38a25243e7e221a82","datavalue":{"value":"2114639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885646$0BB8C4C6-FCD9-47B9-B5CA-B18E4334058D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aacf5cb1af8381de915571d8b267d3e995144d","datavalue":{"value":"cardinal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885646$769C0EFB-E574-4A50-93A7-9E57D7A57E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e456ac8263ead187fed70d08b911936c3b8f877","datavalue":{"value":"Turing computable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885646$1FE44B3F-4EF3-499E-A61A-2946758B3674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c599956926792dd70a77c9db9fd596dd63c314dc","datavalue":{"value":"dominating families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885646$57F7E836-C52D-4656-B3CC-5EDAFDDD41D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58bc9444dd9b5147daf3b6a7a96d7235fe11b57b","datavalue":{"value":"needed reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885646$3E74C9A9-7C03-4DF4-A9F9-E46EC35BA615","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":"Q1885646$973D2D0C-DB22-490A-95BA-439E6888AD2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$A48C9BF3-E4B0-4214-850A-25A2F1281870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9638f4c939bdb413ca44a7da053af3690c9c79","datavalue":{"value":{"entity-type":"item","numeric-id":5940146,"id":"Q5940146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$76E872B2-2CA3-490F-883C-B847B1515B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd3980417552d239a66caf36d61cd51dc3980e3","datavalue":{"value":{"entity-type":"item","numeric-id":4379928,"id":"Q4379928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$B5106167-8C55-4B8B-B531-D7A529F340FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$DB61EF20-3437-4DB7-816B-2BA63B689330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1426762377715ccec104f47d5406e4a840d54bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5549803,"id":"Q5549803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$A2E6E551-3666-47FD-BE2B-CFEBACE86464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b256c677a1cead28df58e66d0ec7974a6a25b81","datavalue":{"value":{"entity-type":"item","numeric-id":3874454,"id":"Q3874454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$FCCC419B-E7B6-4F52-BDD3-AC5C7C662A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43224d188437f230ea76494d0a43aec915f05f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198744,"id":"Q4198744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885646$2FAC5CAA-1E7B-4116-9AFB-99F3651D49D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6786c6f59935eb55c2978002d4d8a56aa0085b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5940146,"id":"Q5940146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c525e4bf82adb49993c00c9db0f7121185ec94","datavalue":{"value":{"amount":"+0.8248375058174133","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":"Q1885646$FD8CAA84-D17E-4E99-A889-2578F79BFDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedb0e3dd2ee5084d1839788e83a513ec4e0ec4e","datavalue":{"value":{"entity-type":"item","numeric-id":4781759,"id":"Q4781759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfe7342ab6e2be0bea6c7875bbb79b4e6b8b1b0","datavalue":{"value":{"amount":"+0.7181153297424316","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":"Q1885646$B7C99DAB-6A5D-43E4-9E2B-89935648C3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647b863ef80ca5c0000b333c7554a83816384642","datavalue":{"value":{"entity-type":"item","numeric-id":4848568,"id":"Q4848568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacd1cddbf2b0434ff96b2cba051571077044bfc","datavalue":{"value":{"amount":"+0.7153664231300354","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":"Q1885646$7B3C67A7-0CDE-4CF1-8BAA-E10797C11455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca65f88e687ba8c5610e0c148f4534f7ce82e91","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a585dc22386e1ff9dfb3594f5577d6fb28cbaf6f","datavalue":{"value":{"amount":"+0.7146821618080139","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":"Q1885646$D7A1845E-B336-4701-A510-F28A5778AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25080b17f53ef0dafc1513753e1c6c11428266f1","datavalue":{"value":{"entity-type":"item","numeric-id":3708010,"id":"Q3708010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024ede442daeceb1e4b131c88f0d1416564e8eda","datavalue":{"value":{"amount":"+0.7144335508346558","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":"Q1885646$A698BD36-93CA-4390-B5DE-33B35B6636E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1885646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1885646"}}}}}