{"entities":{"Q916651":{"pageid":918499,"ns":120,"title":"Item:Q916651","lastrevid":49395043,"modified":"2026-01-07T02:17:49Z","type":"item","id":"Q916651","labels":{"en":{"language":"en","value":"On some filters and ideals of the Medvedev lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154427"}},"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":"Q916651$3311C5FA-2708-455D-868E-660AF902AD2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff51ba5c0a08b58d9b81fe6e26cc3e0a3a4a6ee","datavalue":{"value":{"text":"On some filters and ideals of the Medvedev lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916651$276487D1-9DD6-4494-B3E6-07928C142AF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39307848e167f012babcc4193dd3983ea643cac1","datavalue":{"value":"0704.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916651$D8C38DEB-96DB-4D34-B542-5B9193AE0569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff9a4b17784e464c3038687faa5dbbb82f3ce771","datavalue":{"value":"10.1007/BF01793784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916651$3B07A24D-444A-4901-BD9F-4891DFA46704","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$7476F07E-6DC5-42CD-B819-FC869C689E32","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":"Q916651$F63D2E3C-2F28-438F-B9FF-7562C4CEF1C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q916651$A379CEE4-0D50-4823-9FE1-313424A0E753","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d063a5a8802174aadbcb1de5cc2a06ee419387e3","datavalue":{"value":"Let \\(M\\) be the Medvedev lattice of degrees of difficulty. This paper investigates some filters and ideals of \\(M\\). Given a property \\(P\\) of mass problems (i.e. of sets of functions of one variable from the set of natural numbers into itself), let us say that a degree of difficulty \\({\\mathfrak a}\\) has property \\(P\\), if \\({\\mathfrak a}\\) contains a mass problem having that property. Amongst the ideals and filters of \\(M\\) considered here are: the ideal generated by the dense degrees; the filter generated by the non-zero finite degrees; the filter generated by the non-zero discrete degrees; the filter generated by the non-zero countable degrees; the filter generated by the non-zero degrees with countable basis; the filter generated by the non-zero degrees of enumerability. Most of these filters and ideals were introduced by \\textit{E. Z. Dyment} [Mat. Sb., Nov. Ser. 101(143), 360--379 (1976; Zbl 0353.02019)]. None of these filters and ideals is principal. It is shown in the paper that none of these filters is prime, whereas the ideal generated by the dense degrees is prime. Dividing \\(M\\) by any of these filters, we get a quotient lattice, whose cardinality is shown to be the same as the cardinality of \\(M\\). Some facts about the structure of the Turing degrees and the partial degrees are occasionally pointed out. For instance, it is shown that any non-zero partial degree bounds a quasi-minimal partial degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$A88FF8FB-982A-4475-A9AA-F154E7AABBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916651$3FB495C9-64B3-4432-B87B-EDA85B9B84ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916651$BE3538A7-5426-4821-A452-1CED97BE5F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31256a2514d08a306d3940d56dd150639c698433","datavalue":{"value":"4154427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916651$F12CECE4-76BF-48A2-9F6D-640C88DA2A56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404da9c7cfd55aba9498422f11898cec213bcd90","datavalue":{"value":"Medvedev lattice of degrees of difficulty","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$38D8D2E4-4A2C-4212-A472-7A931DAA4853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$B9D27ABE-DDB9-40C3-BF43-05367F924009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$B939F692-EE7F-4556-B4A2-C02F67102829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf59e1c035a7972e347405391b1e974fed4bebe3","datavalue":{"value":"mass problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$F3DD7128-6712-4244-B53B-58817B273020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62602cd9267f8974ff67c9c43515d79eb674cc6","datavalue":{"value":"dense degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$1C430744-4492-4E96-856D-4BD24A190053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84f2e8bac30bd02db6b7a5e73fd1795175896dd","datavalue":{"value":"quotient lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$95A421AC-91D2-4DB0-8D34-FD2B8E6DBB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$DF9EAA07-6982-47A9-B2C4-88F591CFA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb6c4d88f418af096a97fe0dcbb375879e48747","datavalue":{"value":"partial degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q916651$906FB884-2FDE-41FF-A793-CA21DBAC39A1","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":"Q916651$424AD1AF-A685-41CD-B218-FEF3F5BF7E76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$AAE65107-32A6-43E4-BEDE-639A656365AF","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":"Q916651$BCD133BA-212C-48EE-A01C-919D76C9FAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cce9281f511bca99585864a45df0b521f587f55","datavalue":{"value":{"entity-type":"item","numeric-id":4749831,"id":"Q4749831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$784DF55D-55A5-4C7C-94C2-169E711B29D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5b7b7edce55dd647ea00d99f8a5230471bad74","datavalue":{"value":{"entity-type":"item","numeric-id":4123306,"id":"Q4123306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$E857B06C-4F20-4DDF-8D28-57B6B60C04D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46b9ca010c4c32effd4c6c28574b92b5e5dd149","datavalue":{"value":{"entity-type":"item","numeric-id":1164625,"id":"Q1164625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$E4009DAC-F434-4CDE-B323-7FF5AFF3726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91275c7c1d46061cca6a3a0a101454b5189e8144","datavalue":{"value":{"entity-type":"item","numeric-id":5831322,"id":"Q5831322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$FDD13239-3E5E-4765-9A62-BFC786999FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae22f59a9d8b372dac8852ad5d55e32ad5b3521","datavalue":{"value":{"entity-type":"item","numeric-id":4133961,"id":"Q4133961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$3A04003A-CAC9-4E6B-A44C-59E845030078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c842409cb3fdb84d5c528cc1f82e7fac17b560","datavalue":{"value":{"entity-type":"item","numeric-id":1086229,"id":"Q1086229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$85581454-3C51-4A99-9F08-186015868A8E","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":"Q916651$746698E0-C5B3-433F-9148-6EBC2231AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$A3C4F05E-8765-4774-A723-00C6CFF10625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdf38218d2fe682a7987d3693144c71ac5ae3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$D7FE851D-A6D2-4AC9-813C-36E3263EB000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998be4425e6a6a1694b08cc8325272a445716ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3480025,"id":"Q3480025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$97324DEC-160D-41DD-8777-0F53F2E46B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db0c9c81b67dcbae6c73b9c7ac5019917e45e55","datavalue":{"value":{"entity-type":"item","numeric-id":4111548,"id":"Q4111548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916651$54CE1D0D-5BDF-4957-9AA5-9813594F4EC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1dae0026f0989344405147591e0fbc262b907d","datavalue":{"value":{"entity-type":"item","numeric-id":535142,"id":"Q535142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2832adf971c2d18ec08c0fb2af91587740af9f57","datavalue":{"value":{"amount":"+0.8659000992774963","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":"Q916651$1761BE9E-8E1D-41AD-8AD8-B78A880D6F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ef5e5904408b1b27dc679c05232c53caeb2d06","datavalue":{"value":{"entity-type":"item","numeric-id":4868246,"id":"Q4868246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5504bd4d055828ba7e379fa3897157f5dabf99","datavalue":{"value":{"amount":"+0.8656005859375","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":"Q916651$108DAED8-AE0E-4F3E-AD6B-8B171C8A68FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc22543ef32b632b16450a090c5ec79907234a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ad95fd8d63ef725de045d18f7cc9034f2f7c2d","datavalue":{"value":{"amount":"+0.8538869619369507","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":"Q916651$EA0B5823-43C7-41A2-9C17-937A96E83479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4255e8005ae885442824e63944e112579b068ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3480025,"id":"Q3480025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cc58022b34fd4b9c21758812b3785e3686f16c","datavalue":{"value":{"amount":"+0.8044486045837402","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":"Q916651$AF10851A-3D72-4E8F-A3DB-AFF0BBAF80D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0dfc8474203a626fe59c9c4ef602930a6e923b","datavalue":{"value":{"entity-type":"item","numeric-id":628800,"id":"Q628800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96a9ae0e42c78af1c4c3e020140bf76e0cb757d","datavalue":{"value":{"amount":"+0.7842985987663269","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":"Q916651$123980A0-0DE1-4D8A-8936-825B8FB97C62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916651"}}}}}