{"entities":{"Q2784495":{"pageid":2795233,"ns":120,"title":"Item:Q2784495","lastrevid":47774128,"modified":"2026-01-02T16:03:11Z","type":"item","id":"Q2784495","labels":{"en":{"language":"en","value":"Lattice embeddings for abstract bounded reducibilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732383"}},"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":"Q2784495$335E58FE-8915-4C57-81A0-CB15169A2AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fa1db8732dc87e7326671dee4002867cc6eda51","datavalue":{"value":"1010.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$E143C497-E3BC-4DDD-B7F5-30D0A17BADE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ed956f78088943a03fb2a1f75c9a6a7f16a27d7","datavalue":{"value":"10.1137/S0097539701385958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$684D1EB2-1BF7-4DCC-AB09-BEBFBDCB1FBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8960505e0c34b146023a51f8925a5453d9d2c6ff","datavalue":{"value":{"entity-type":"item","numeric-id":494056,"id":"Q494056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784495$4062E8F2-B185-491D-A09A-0062E92C48B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784495$FF29A9E8-5ACF-4936-8D13-9D66D12CEA97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22e17fffa644ae9f618754e26357d6dbd53b7382","datavalue":{"value":{"time":"+2002-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784495$458A87A4-C45C-469F-AF11-BB5E00EB758C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$7E549D8E-1F57-435D-B6E8-F4659481807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$78C28B10-3FFE-4DE1-A8D9-91C26316DE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$903BF70A-D24E-4003-B875-E82CAAB315E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$1C7130F1-50FC-4A35-8D23-8C82F1D0DF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$02C1E741-20EC-410B-B5A8-69094CFA5CA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c97235767d5a6845c447e58b06a5e06a0f67618b","datavalue":{"value":"1732383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784495$AC6F5514-DC0B-4BC4-B598-95290D7B7009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1adf3a4a1f6be0a2225196f1fd281a320ac58e","datavalue":{"value":"resource-bounded reducibilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784495$F40909D0-BC36-4C13-A693-4F6F5C35020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7fd105106806b27509c4c482dfb40d3b3bb86e","datavalue":{"value":"embeddings of partial orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784495$84CE72CF-C481-4373-8CF7-1F5E1C278D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af718f1a920e5936e31df061c1354884ee024335","datavalue":{"value":"embeddings of distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784495$00504102-57A8-40C5-B9C9-96B746C42E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1139a5ae3affaa7bd47e158c1acfcb93ee4a2fde","datavalue":{"value":"abstract reducibilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784495$BA61A327-F54D-40F4-A31C-74FDCDB35C30","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":"Q2784495$0AC985B6-EC00-496E-8619-51F715457D3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2282a2ae80688e7a9e2aceaa31c163063dbd17b","datavalue":{"value":{"text":"Lattice embeddings for abstract bounded reducibilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784495$E6216B43-41AF-4571-958E-63755E525281","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70b6d01bb283357e1db89c8afab53402472aff35","datavalue":{"value":"The author starts with the definition of a bounded reducibility of subsets of the natural numbers. A relation \\(\\leq_r\\) is a bounded reducibility iff there exists a recursive set \\(E\\) that contains only indices of total recursive functionals such that for all sets \\(A,B\\) we have \\(A \\leq_e B \\iff \\exists e \\in E (A = \\Phi_e(B))\\). This concept of bounded reducibility comprises most of the resource-bounded reducibilities (including time- or space-bounded reducibilities). NEWLINENEWLINENEWLINEIn the central part of the paper some axioms (conditions) are introduced which give us as a final result the notion of a standard reducibility. These axioms are satisfied for most of reducibilities appearing in the literature. NEWLINENEWLINENEWLINEThen some additional lemmas are proved. As the main theorem the author proves the following statement: For standard reducibilities every countable distributive lattice can be embedded into a proper interval of the structure induced on the recursive sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784495$F43BE793-7A91-4E70-9521-F91313D91259","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e54fe4fe3e6664e5182164ccf3d0d36292225c","datavalue":{"value":{"entity-type":"item","numeric-id":706789,"id":"Q706789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784495$623C2807-7936-4971-82FD-903F1ACAE0B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0b04c05014ae1b6a9dc767b40adce474d9b26f","datavalue":{"value":{"entity-type":"item","numeric-id":4377133,"id":"Q4377133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59655d9c0172136fa6523f002bbcce16f1693897","datavalue":{"value":{"amount":"+0.8605936169624329","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":"Q2784495$5028609B-7446-4A9F-8F8A-5570285E99AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbc122fcf9070915368e4d7f0f83230270b1ae1","datavalue":{"value":{"entity-type":"item","numeric-id":850805,"id":"Q850805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59655d9c0172136fa6523f002bbcce16f1693897","datavalue":{"value":{"amount":"+0.8605936169624329","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":"Q2784495$E71957E5-143B-4355-88EA-C3E7A4B44481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24184bb376fc609f187814db32f4df6a6e0fbce2","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3992d93c1da9cbe1a2fbe4bb2f189b66f66c9ff","datavalue":{"value":{"amount":"+0.7851397395133972","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":"Q2784495$FFD0D054-790F-41B8-98D4-9BDF77D6B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a890c50bbd6fe34f04c8b0ebd86493e15217975","datavalue":{"value":{"entity-type":"item","numeric-id":3033754,"id":"Q3033754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9285372bbee51e0bf9281354e9c1f84ebc7e036","datavalue":{"value":{"amount":"+0.7720220685005188","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":"Q2784495$BEB72F67-C36D-440B-B4AE-A9C2195B060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20523556a7d8520f6795fc62b67e5c5ca9a7f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3220572,"id":"Q3220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656b28cfd77329b8a3154be621d59e1af0e8ccf9","datavalue":{"value":{"amount":"+0.7713584303855896","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":"Q2784495$514B5FF7-4ABD-4E60-A47B-0916AD806928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2784495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2784495"}}}}}