{"entities":{"Q749530":{"pageid":751379,"ns":120,"title":"Item:Q749530","lastrevid":64131012,"modified":"2026-04-11T17:50:54Z","type":"item","id":"Q749530","labels":{"en":{"language":"en","value":"The degree of a \\(\\Sigma_ n\\) cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172967"}},"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":"Q749530$D0487889-58BE-4A04-8C26-C332E10FB149","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dac8fd5ea73a049633952ae9c2a92d35f714fc80","datavalue":{"value":{"text":"The degree of a \\(\\Sigma_ n\\) cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749530$DE4AF102-3787-488D-989E-927E03F51B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91c894dc3ce23369d47baa1facaa93b8328254e9","datavalue":{"value":"0713.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$6981ECDE-5F4D-4681-A3B0-866542E0CE85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f082117ce6687f310c04b7c959af95f64af333b4","datavalue":{"value":"10.1016/0168-0072(90)90021-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$9C7694F5-F79C-4A02-83C9-119411D0D93D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$52C4D600-BE95-46E0-9B2B-55370E95448A","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":"Q749530$AA2903A6-3026-4A0E-AE5A-8B98F1FFF7AF","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":"Q749530$6C672780-6514-4A89-BFB8-C87E29847D1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eaf9e93d6ffb42b295b47cc3a41cf4b06167fb2","datavalue":{"value":"A reverse-recursion-theoretic investigation of how much strength is needed to prove the existence of minimal degrees or minimal pairs. Take any model of \\(P^-+B\\Sigma_ n+\\neg I\\Sigma_ n\\) (n\\(\\geq 2)\\), where \\(P^-\\) \\(=\\) Peano axioms without induction, \\(B\\Sigma_ n=\\Sigma_ n\\)- collection, and \\(I\\Sigma_ n=\\Sigma_ n\\)-induction. There exists a \\(\\Sigma_ n\\)-definable cut in this model; let I be any such cut. The authors show that I and \\(\\emptyset^{n-1}\\) form a minimal pair. They likewise show that, under appropriate coding assumptions, such a model also possesses a minimal degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q749530$85955F6D-303C-404A-BEFA-9B17333ADBEE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$9871EAF5-EE87-4480-8D3F-62F6BB7D858E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$7852AAA3-3CC8-431D-929D-F07A2C8BC354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$FAFC12CE-9085-42ED-930F-B06FA6A57201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59fe227c0587e77ad2b5f0949d933e781944e2dd","datavalue":{"value":"4172967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$89CBE7D9-B7D6-4636-B743-DA4114BC18D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7874c6841731d8d9aed6bb6556d6cf82d20dbd88","datavalue":{"value":"reverse recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q749530$1A94BFBC-CA43-43EC-A43C-587815AC85FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65507aabf9b5b1c498d972403f9aea96b6859759","datavalue":{"value":"minimal degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q749530$6E603565-0472-4979-9C39-D20C11FAD01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecd69a6d6f7ca8849068cc67a56effa10cb344","datavalue":{"value":"minimal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q749530$4A7CF558-E6C5-4538-829D-9C5E079CEE80","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":"Q749530$DE024CB9-87E8-43BA-999A-F58EC1C730A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b79b86cae16fc2e870a3be7201b323d867a1720","datavalue":{"value":{"entity-type":"item","numeric-id":1823933,"id":"Q1823933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$9D467959-2C2D-4D28-906D-553348CD85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f365af072b2cce66d6f97d47212e6f37856c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$448EF277-95DE-4A8F-8009-67566E4D1C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75aeee389001c3f5362afe37f8d0e31cb3cf84","datavalue":{"value":{"entity-type":"item","numeric-id":3755453,"id":"Q3755453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$420A6D90-A471-47D5-A3A3-471F053EDCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$0F8FC867-A4E4-4BC5-8183-24C79450EC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081f2ef5bbdbff54dda813e99c4b51fea17e97c1","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$08A45066-611E-4C8C-B977-89FB832B6EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$188453E5-66C1-40A1-B60A-7795796528FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10a552d571523eef76f2953b86ae1689acd262a","datavalue":{"value":{"entity-type":"item","numeric-id":3480037,"id":"Q3480037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749530$AFF1A8F3-B9C8-465E-8CA8-55E9CD770F26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429e46dda450b188a00e8b3ca06e0a2615ae6204","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90021-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q749530$EA8E9019-46C8-4211-8BF9-D36F1EF499AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61ca32cef9058c6df3a188b8428782f3b4fac40b","datavalue":{"value":"W2055041806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749530$8BC3BA53-E146-45CD-9327-D9EEFAE0B3EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a96a9470a99db6810705a1db27e33269697c28d","datavalue":{"value":{"entity-type":"item","numeric-id":5308178,"id":"Q5308178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42696b5896fcc1206c4f7cff6426d1e7302e0d37","datavalue":{"value":{"amount":"+0.8181576728820801","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":"Q749530$1EBD55A4-0319-4875-B1B7-D2E567665EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9212c17f0a2405b108af7d125a5e8fda65d21b60","datavalue":{"value":{"entity-type":"item","numeric-id":705537,"id":"Q705537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b1e23ad47dfb8284fe7031e43a304312279de3","datavalue":{"value":{"amount":"+0.7801336646080017","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":"Q749530$CF99FE35-3963-4424-9ECB-E6A80EB4FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00629aaa5ad11cafe88524ca9e0e00ef8fc9cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2784778,"id":"Q2784778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244a05495990b878329f1a3c6ab7972653510795","datavalue":{"value":{"amount":"+0.7748745083808899","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":"Q749530$E96ABADB-EF32-49B7-8230-257F573BFDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb26ca29ce863e1e33e129512d1a0aa786aa8e5","datavalue":{"value":{"entity-type":"item","numeric-id":4944906,"id":"Q4944906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d9c32c1840c4ac91feace42b868e4b790f7c54","datavalue":{"value":{"amount":"+0.7565609216690063","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":"Q749530$1E94CE80-1C04-40F4-8026-7047D57F101C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde0e01ea64b385ef5006e0bb957973b85435c78","datavalue":{"value":{"entity-type":"item","numeric-id":4032456,"id":"Q4032456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260968fba197e698013658ab1130f72fe12ea638","datavalue":{"value":{"amount":"+0.7547889947891235","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":"Q749530$7F2A240C-CB05-4D64-A32A-3F4585093C4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The degree of a \\(\\Sigma n\\) cut","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_degree_of_a_%5C(%5CSigma_n%5C)_cut"}}}}}