{"entities":{"Q334991":{"pageid":336758,"ns":120,"title":"Item:Q334991","lastrevid":77737631,"modified":"2026-05-06T09:57:27Z","type":"item","id":"Q334991","labels":{"en":{"language":"en","value":"Fragments of Kripke-Platek set theory and the metamathematics of \\(\\alpha \\)-recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646569"}},"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":"Q334991$F64B0AEF-0DE7-4B7C-8F47-8739DF87FECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6091a923f36254f9f50da454625cca38b914d681","datavalue":{"value":{"text":"Fragments of Kripke-Platek set theory and the metamathematics of \\(\\alpha \\)-recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q334991$3254969F-500C-4530-A9B7-0F75F7B0D66E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e42b2f93d89400f3239ffeaac9fa5148b316ee0d","datavalue":{"value":"1358.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$373663B5-0889-42F4-8212-A627EFC94973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"822c092cc1faa68be5502e89b9a1b0dfdf0941c6","datavalue":{"value":{"entity-type":"item","numeric-id":334989,"id":"Q334989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$CB4A52C8-EF99-48B3-8955-4F13D8464C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e343647324d24e95cab6cdd0a07fe0feaf1a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":334990,"id":"Q334990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$871D277C-DDAF-4D8D-A383-007FA05F7354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$11D4D8A7-E633-4195-BE30-018D707F4FCD","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":"Q334991$A6BA695C-1E6C-480F-828A-48B51310C445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q334991$164578B4-8021-4D7A-97A4-9E01D03B94F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc76ada0cddc4863bf7e01f270f3efaa511bd20f","datavalue":{"value":"In the paper under review, \\(\\mathrm{KP}^-\\) (\\(\\mathrm{KP}\\) without foundation) with restricted foundation is investigated. A number of basic results were proved. For example, it is shown that \\(\\mathrm{KP}^-\\) + \\(\\Pi_1\\)-foundation implies \\(\\Sigma_1\\)-\\(\\epsilon\\)-induction, and \\(\\mathrm{KP}^-\\) + \\(\\Pi_{n+1}\\)-foundation + \\(\\Sigma_{n+1}\\)-collection + \\(V = L\\) implies \\(\\Sigma_{n+1}\\)-foundation for all \\(n\\in \\mathbb{N}\\). Then, the authors apply the results to investigate \\(\\alpha\\)-recursion theory. It is shown that both the Friedber-Muchnik theorem and Sacks splitting theorem hold under \\(\\mathrm{KP}^-\\) + \\(\\Pi_1\\)-foundation + \\(V=L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q334991$58474C73-D6E2-4551-9726-05728FE6E739","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e7788f229b8213d94373bd7e802bf9837fa05217","datavalue":{"value":{"entity-type":"item","numeric-id":409317,"id":"Q409317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$481323B4-7E19-463E-A460-31EB7575BF8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$54228402-8688-4B47-94D5-6E596CEA5831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$F1E00A99-67F4-41B2-9B0A-9813434C249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$B05171CA-CD0A-4B8F-B0AC-8AC296A048D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c381b3294fd4c20fde82fd9f71ee232cb2021de0","datavalue":{"value":"6646569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$7DF9679D-B8DB-4E6C-A9F7-0BF213DF8CC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q334991$AF696204-DFBA-4614-BC0B-5D0BC309FCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b6cc557db8130cff72a7435178f48b4c42b5b7","datavalue":{"value":"\\(\\alpha\\)-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q334991$ADD77BE3-CDA6-407E-B7C5-0FA9DCFF7200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b51a52215acf828579264d170cd64e79e27652","datavalue":{"value":"foundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q334991$70FBA93A-6320-4690-9755-7638D1567A74","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":"Q334991$C287C6DD-6B26-40EE-8A7A-9AF5CE8B5C8A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bbd3a28409c48b4566ca90c84ddfb7b2d6b47845","datavalue":{"value":"Q59459316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$6D8F84FB-397C-41B0-838A-4CC9E4832D98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28df9146b2cdb5989d419d1ec8823c44b622a1b4","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0501-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q334991$9B67EDF9-F6AD-48DD-946E-8AEA87278B88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a97e94f8da4d30b205c4215d16a91eff6a7bb69c","datavalue":{"value":"W2512550994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$193A1FE3-9E54-4276-BDC2-4E2ED4946E87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$D360BE17-26AF-4F2F-B162-C06F76649184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38e98072c6c5f7f123a872c06a0f84d58e9bb26","datavalue":{"value":{"entity-type":"item","numeric-id":3342568,"id":"Q3342568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$399BB120-0D52-49AB-A342-43F1585C4596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79de945e794aff72a86cbbbde30ab2fbe309fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3222839,"id":"Q3222839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$4D5C636D-FDAF-440D-9921-00994B91AB0B","rank":"normal"},{"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":"Q334991$75F25A35-A38F-41EC-B20B-D704EC4A618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bff3918fb10e252645bb6411cb4644351d7c831","datavalue":{"value":{"entity-type":"item","numeric-id":3874193,"id":"Q3874193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$9DE251E4-78C1-48CF-A95C-6B22727A527A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1343a60aae9e871edf1edb8ef20d22d86360cf33","datavalue":{"value":{"entity-type":"item","numeric-id":4894721,"id":"Q4894721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$5942DA5F-34DD-4B3A-8DDB-5F570D74DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c77110e28562941ffed9c814c46e347072418","datavalue":{"value":{"entity-type":"item","numeric-id":4063424,"id":"Q4063424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$45DCE4BB-5CC0-4C42-A867-20CABF1A3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b575a9914e442b15c94454a5686178692eb732","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$310F9718-FDF2-414E-AC89-48837D5F67EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$FA239786-7D25-4610-86CC-196C451819D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62656afdddc0a1a02eefc5b82bff5d84cc7fa125","datavalue":{"value":{"entity-type":"item","numeric-id":5677473,"id":"Q5677473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$37ADE0AB-DF34-4C0E-B1A8-6F02D4D56C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a6e9f6599274357bd89a266c5cc848e7a3a1aa","datavalue":{"value":{"entity-type":"item","numeric-id":3481690,"id":"Q3481690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$9F0F881C-27C3-4179-A701-82B51BDDBAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a4e3e87d73ca6be4d6c554b240239fce652028","datavalue":{"value":{"entity-type":"item","numeric-id":4146723,"id":"Q4146723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$D6351FB3-925F-439D-BA8C-86010B4625E7","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":"Q334991$686DCA84-E7D3-4D90-9048-F2B7BA292BB5","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":"Q334991$78A14B41-9522-4A66-8D7A-C7F31637C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$2972F856-8A5D-4A07-9C20-71732D7DF603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f5e3d947d8287be5c6f7db9dc23c39945753a5","datavalue":{"value":{"entity-type":"item","numeric-id":5448619,"id":"Q5448619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$BBD236E9-412B-413E-B80A-F4538D68B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ae8cdd8299dad9163fc1b7102698159f4b3305","datavalue":{"value":{"entity-type":"item","numeric-id":5677470,"id":"Q5677470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$9F6BF5C6-7166-4C28-B7D5-C079FB0BC537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94010c69578cf238c432b29a4d221bcf4ab781bb","datavalue":{"value":{"entity-type":"item","numeric-id":4152525,"id":"Q4152525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$0F2FDE00-DD8A-4129-ABED-EE4042BCAEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdf1c8283ea8b0793ab210c73ca2342faf05b04","datavalue":{"value":{"entity-type":"item","numeric-id":3205223,"id":"Q3205223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$A07D065C-7F8F-401A-8BF8-AC774FFE8F03","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":"Q334991$C40CCE38-A679-42EC-869C-4E382D8D5330","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8ca8eb9d09dbd6558602e00a48f7f9b0f56a7e2a","datavalue":{"value":"journals/aml/FriedmanLW16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$A643677C-E916-419E-A3D5-78A4901E57A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f2382f9186d8c50844938194384c59eabd410d","datavalue":{"value":"10.1007/S00153-016-0501-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334991$FF38CB04-C369-4D75-B297-E47CC9250435","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc568d513b671d2fef0ef5066d6ef7aba5fe35a","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a9afcebde7bf8b48d8100c572b412c3b8decb4","datavalue":{"value":{"amount":"+0.8152663111686707","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":"Q334991$E04E1647-CC72-4470-8CDF-487B09C2CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc965eaeb916ba7c8fbd7e9853e6f5401e7606","datavalue":{"value":{"entity-type":"item","numeric-id":1080422,"id":"Q1080422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee50ae70fa09b58ef2b9238dd17dbca9138aadd","datavalue":{"value":{"amount":"+0.8146515488624573","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":"Q334991$17E184EF-CE63-4651-AD00-2D4015D92599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c624b72c13aa5f3be328ff1fd0228e85e013af5","datavalue":{"value":{"entity-type":"item","numeric-id":4254688,"id":"Q4254688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0cdc0d8839cd280197ed06b8b0313e028f2cb6","datavalue":{"value":{"amount":"+0.7815632224082947","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":"Q334991$6F13093E-D315-4DE7-84D5-10E6B8726EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c0e3acf8bf3243c6e1582e2af270817dc34e5","datavalue":{"value":{"entity-type":"item","numeric-id":3025175,"id":"Q3025175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a00dbf367a08ffb701a3c951bea6032090ce24","datavalue":{"value":{"amount":"+0.7809661626815796","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":"Q334991$93AA8096-8CCE-4282-885E-60720A990C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242a77ae59a6665bab58d0616ee6b46fef2585f","datavalue":{"value":{"entity-type":"item","numeric-id":3481690,"id":"Q3481690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e396100784ebaaa5d346b329b3fdea84f655765e","datavalue":{"value":{"amount":"+0.779098391532898","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":"Q334991$475C1BC2-9C4A-4298-B328-7F8ABA6A92D6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334991$75A6F7DA-E041-452F-ADD2-3474C83527E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fragments of Kripke-Platek set theory and the metamathematics of \\(\\alpha \\)-recursion theory","badges":[]}}}}}