{"entities":{"Q705537":{"pageid":707386,"ns":120,"title":"Item:Q705537","lastrevid":63668598,"modified":"2026-04-11T14:44:16Z","type":"item","id":"Q705537","labels":{"en":{"language":"en","value":"The minimal e-degree problem in fragments of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131595"}},"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":"Q705537$AA4FAA63-3832-4C36-A6CD-7390A091DD46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e20031fd8da37667e620e4e852eb983140c85ff","datavalue":{"value":{"text":"The minimal e-degree problem in fragments of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705537$F3137D00-A5AF-4E3F-ADA4-2268A07C0457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5249cdf805af28cc586fcf1234f2fcf7455eed","datavalue":{"value":"1068.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$B48BB381-6149-46C0-9EFE-145A33F7DDF9","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":"Q705537$738D7DAE-4BE7-449F-BBB9-79A1C15E971F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705537$6CE013B9-662F-4604-879A-563A7DC5CFBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"166921a174b0002d5178d6fd23bd98155df7bb48","datavalue":{"value":"The paper presents several results concerning the e-degrees over models of fragments of Peano Arithmetic. By an unpublished result of \\textit{L. Gutteridge} [Some results on enumeration reducibility. Ph.D. Thesis, Simon Fraser Univ. (1971)], there is no minimal e-degree for the standard model. The authors extend this to regular sets in models of \\(B\\Sigma_2\\). A subset of a model \\(M\\) is called \\textit{regular}, if its intersection with any interval \\([0,a]\\) in \\(M\\) is \\(M\\)-finite. An e-degree is regular, if it contains a regular set. It is shown that there are no \\(\\Delta_2\\) minimal e-degrees in models of \\(B\\Sigma_2\\), and that any regular minimal e-degree in a model of \\(B\\Sigma_2\\) is \\(\\Delta_2\\). Hence, if a model of \\(B\\Sigma_2\\) has a minimal e-degree, it cannot be regular. If \\(M\\) is a model of \\(I\\Sigma_2\\), then \\(M\\) has a minimal e-degree iff it is standard, and, if \\(M\\) is nonstandard, then every cut in \\(M\\) is of a minimal degree. The situation is different under \\(B\\Sigma_2\\). A \\(B\\Sigma_2\\) model is a model of \\(B\\Sigma_2+\\lnot I\\Sigma_2\\). There is a \\(B\\Sigma_2\\) model in which no \\(\\Sigma_2\\) cut is of a minimal e-degree, and there is one whose all \\(\\Sigma_2\\) cuts have a minimal e-degree. The paper concludes with a list of open problems and a conjecture that there is a minimal e-degree in every \\(B\\Sigma_2\\) model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705537$33955CE0-BD52-4789-B28E-4E47E917AE3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$438A0221-07B3-4108-8BA9-B1BC9034F993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$AFBA32E6-BDE0-440F-9990-3F396CD9E053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$CDDF70B7-F5F6-4B30-9BA7-397A12643E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$A5D49F02-88CC-4462-BC18-4624A1503A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$2DF799A8-BC0D-413E-806C-8F92D06EADFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bed5b7ea2c56eea69856bd0dccad57f08af33a2","datavalue":{"value":"2131595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$277638F8-22EA-4431-8BC9-37F3D7A04FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa0d1869bc6efd0bcc3fb36888876254b4b9b05","datavalue":{"value":"e-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q705537$DB58502E-EE89-42A9-BD1A-C4705DA39BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c413a7c007284d901f7e05ab7c732453a2545471","datavalue":{"value":"fragments of arithemtic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705537$E428E903-22EA-48E1-94C2-D899C2686E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b8158584ba4a722002f604c40957dfe749e990","datavalue":{"value":"\\(\\Sigma_2\\)-collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q705537$B7E4A031-C3A6-46C6-AF04-315C9DCFD6A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30415e6ad9c1e5531320c28783617eadd8066642","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$B8E5ED39-022C-4398-829B-94F19795481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$C4C1F8E3-0DA8-4381-865A-A6BE550B497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00f46b24a6e783ec8666cb789e3b7557d2392c8","datavalue":{"value":{"entity-type":"item","numeric-id":242614,"id":"Q242614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$DA8EBF2D-7B62-4F9D-8FBE-E1F2173CD105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$4D3A7B7A-8C63-4261-A598-FF5AC19548FC","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":"Q705537$AB9F7B1E-6153-4936-8B7B-AEE7D53F6818","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01051101c89206e64798af26ae1adf1a38824032","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q705537$1B09FB4A-FB2B-487A-8362-80AA30CFF50D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e4d83da5da668b8509a6a6a850f449bdd03b32c","datavalue":{"value":"W2045879934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$E84CFFE4-AF0F-41EB-B097-037F91F33AFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b33b4ba6d86b2252c722406e58bbf98ab63e9df","datavalue":{"value":{"entity-type":"item","numeric-id":749530,"id":"Q749530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$FB27F1D1-1A9D-4D4C-9EC2-A4C1F0BAA0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172158bc564139b1cbfdedbc7216304ccacdf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4032456,"id":"Q4032456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$1B181E3A-66BE-428D-AA65-078E55E7BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a055d5458d7b36248a382e7a5e4ddf1f87bbaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1368581,"id":"Q1368581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$268E01FA-0DF8-4DD9-ABBD-CC34F3E91E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c418c5d2d9bce18f4bc8c7cbc770d3e6e4c87de4","datavalue":{"value":{"entity-type":"item","numeric-id":2784778,"id":"Q2784778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$CAC77017-9243-41F7-8C47-26D8493123AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a217e8c78712e4be222e6dc2abd7d41dcfa9d862","datavalue":{"value":{"entity-type":"item","numeric-id":4513965,"id":"Q4513965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$7A3DFCA6-C152-4CC0-8356-F6312B3676DB","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":"Q705537$9FC09A43-5F45-4089-8BC6-B02A123DEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea115c4b94fa65ec5ba075bdec93ed74b89c02","datavalue":{"value":{"entity-type":"item","numeric-id":3487329,"id":"Q3487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$EDF154EB-A74D-45E5-945D-63B69C5AF483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d94ee13fb5ecca8b20e9dac6ff80f0c10426a","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$0A9D0CCC-39E2-4A33-A49A-83AE5060DC0A","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":"Q705537$4030E852-5A20-4FDC-AF8B-3318B6F86FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9151933562426fe0114db2e01dec307d52272bc7","datavalue":{"value":{"entity-type":"item","numeric-id":3282934,"id":"Q3282934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$67865646-A89C-43EA-A0C4-1ECAD80442A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$302CBFB7-448B-4D67-BB99-F98B7C38D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$528F4FF1-B404-4C74-94C5-A5BB8724E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705537$F1D5B159-AFB1-42D3-BFF3-64C223A8589F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4404cea8f2c79ddb93440288845c689fd56fee07","datavalue":{"value":"10.1016/J.APAL.2004.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705537$321E1B0A-58BD-4AE6-AB9A-6AC4F033BA7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e631d0c9105bdf28cd55ec7ca44c89810ce454d9","datavalue":{"value":{"entity-type":"item","numeric-id":749530,"id":"Q749530"},"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":"Q705537$5B173F28-9381-4F16-A131-CE9FEA7D9593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b6394009d8c09868eb07a5ee46b7c4c2fbe1c5","datavalue":{"value":{"entity-type":"item","numeric-id":2758069,"id":"Q2758069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcd32f5f422856a1eb57f48cb37c950413c9c65","datavalue":{"value":{"amount":"+0.7792890071868896","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":"Q705537$338EE371-7ACC-404F-8089-E46FE736A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550aaaf696648c7fd1f33a6a351e5494a0485e03","datavalue":{"value":{"entity-type":"item","numeric-id":4723719,"id":"Q4723719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b39e0af1906fda1b93dde8e860a66ad97c0eee6","datavalue":{"value":{"amount":"+0.7516762614250183","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":"Q705537$F48EB78C-BD46-49E1-87F1-5D82ABEB83FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feed16a64cff0f5c5039b7c073235970cd58cb05","datavalue":{"value":{"entity-type":"item","numeric-id":5718686,"id":"Q5718686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f403671e5cc26b4b9ab64a25811370a4b306e1b","datavalue":{"value":{"amount":"+0.7479302287101746","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":"Q705537$B75AB4EA-3C54-4972-A07A-51E694EAC861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fc3353a6f7214cb68addd64e3523888b1ca313","datavalue":{"value":{"entity-type":"item","numeric-id":466117,"id":"Q466117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854090c98ff0b189df2e3ae2855d8c22115f95d5","datavalue":{"value":{"amount":"+0.7449106574058533","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":"Q705537$084C1739-6E4A-417E-A3FF-FD8F016FD013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The minimal e-degree problem in fragments of Peano arithmetic","badges":[]}}}}}