{"entities":{"Q1063591":{"pageid":1074343,"ns":120,"title":"Item:Q1063591","lastrevid":66181911,"modified":"2026-04-12T08:05:26Z","type":"item","id":"Q1063591","labels":{"en":{"language":"en","value":"Set recursion and \\(\\Pi ^ 1_ 2\\)-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3918358"}},"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":"Q1063591$267B53DB-3F3E-4888-8209-08ED0DFAAF3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ace6077ac1e33efcb76328d7d32b47033944f34","datavalue":{"value":{"text":"Set recursion and \\(\\Pi ^ 1_ 2\\)-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1063591$3578242A-8FEB-4CA4-BA20-8E7DDD9028F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784f965c09fb21d56f7bc9692abced018ee97c31","datavalue":{"value":"0575.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$2B3C36C2-F92B-481D-85C2-16C8838DBF09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd9edec93a6fa64b5984a15ea0b2634f1b88811f","datavalue":{"value":"10.1016/0168-0072(85)90017-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$5229555C-FB1F-4E0E-928B-1DA0D187B89C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$EFED1E14-8A97-409B-8877-7D8CACC9B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$82CCB3E4-4D16-4381-A81D-068166BDEC85","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":"Q1063591$5F7DBB9E-F03B-4B13-B6A0-BEA8A5E83650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1063591$AF9E95AC-35D7-48DF-AE71-9C1072EE0038","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c9b9033efd4cc90f98552a113a3e777080de12c","datavalue":{"value":"This paper essentially has two parts. In an expository section central elements of \\(\\Pi^ 1_ 2\\)-logic are introduced via denotation systems. The notion of a denotation system is a reformulation of the notion of a dilator. The well-founded decomposition of denotation systems is proved.    The general theory is then applied on questions concerning set-recursion relativized to definable ordinal functions. If F:On\\(\\to On\\) is set- recursive relative to a \\(\\Delta_ 1\\)-function f:On\\(\\to On\\), then there is a denotation system D such that F is bounded by a function G definable from f, D by recursion over a decomposition of D. A possible notion of general recursion over the decomposition of a denotation system is also discussed.    The results of the paper have later been improved by J. Vauzeilles.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$3FD8583B-4FA8-44DB-BE42-286C12BF23BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$05214C4A-D567-4FB1-9D07-4B52332451DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$9213D002-AFC4-4A02-BD1E-3B03F6C7BEF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"551bc8032a67d8ffacee0d3b6e157341e8d44ee7","datavalue":{"value":"3918358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$9D6BE94A-23EB-4791-8D87-AFC3DEE251E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985801cce35499ebf879753f7d1a8687c3650ad6","datavalue":{"value":"pi-one-two logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$695AB8F8-F854-4A9C-B952-021A666AFD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$4727D6AF-85FE-4C56-BCB2-F6C6E0DD400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44654b75d6036d3dd5605e8ee2f87d19baa1d9c","datavalue":{"value":"denotation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$5ABE16AA-500E-4606-8B26-115AAEBD0B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207d4bdca116b0d29edc6a4bd857f4e0fe0f8d29","datavalue":{"value":"dilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$80A6DC37-0B5C-4556-9391-C45A04E0D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$345BB77C-876F-498B-93B6-849358733E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c36b2ab2df0a4c74310a1ac0f3fbf6805b5c35d","datavalue":{"value":"definable ordinal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063591$863AC7C4-F086-4AA5-9A2E-3595104B613A","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":"Q1063591$68784B0B-18D5-4062-B7F5-0EDA520CBCDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0d72b9e03db3e7381efddbb671ee608162b5e8","datavalue":{"value":{"entity-type":"item","numeric-id":3960845,"id":"Q3960845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$E8FD1E21-05FC-4245-A10F-5425ECCE1674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$4D2DF116-7B8B-46A1-84C6-370E611A0DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3068791d66947cf0f797527094acea2101c2f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3220581,"id":"Q3220581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$BE0124F2-53FE-4165-B110-648F51A059FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$561FC60E-5FD3-4713-8E11-8E66854B4977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505903792ffc7ad39bb74a5b060ea96e54845c5","datavalue":{"value":{"entity-type":"item","numeric-id":5542099,"id":"Q5542099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$EF59052F-4A33-44DE-8651-506822F2B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a79feb1a740eba3c8b630bc974a520a36d2ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3657981,"id":"Q3657981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$299E5759-8601-4773-9C93-03B53C9153C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd0d84f38e062b0c5ff7f821574e8d0b8102083","datavalue":{"value":{"entity-type":"item","numeric-id":5559240,"id":"Q5559240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$F9C42005-7A0D-476E-A823-E82AA237EEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$F3531E8E-F71B-4FB1-B2F2-1A16A9DA6B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7096b7a591456e55705e0279e99fa3d162535d","datavalue":{"value":{"entity-type":"item","numeric-id":3964555,"id":"Q3964555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063591$CDC94DC4-6995-4803-809E-35B14962B0F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac519bd0bf083461db28e5a4b1135b74a13cfdd4","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90017-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1063591$AFC7A9B7-C050-4EE4-85F9-3737700E08DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73fa0b8dbbdf7d1c4586967a449e2daba7350c94","datavalue":{"value":"W2046445497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063591$5255AF64-728D-4AB0-A67B-2D421E4BA50D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec80bda53f54f3d9d2c45c5e7cf69873b9eb358","datavalue":{"value":{"entity-type":"item","numeric-id":2565874,"id":"Q2565874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4637c16802d0fa607e9ea7bade95e1baaf75510e","datavalue":{"value":{"amount":"+0.797530472278595","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":"Q1063591$48985FE2-03C5-4581-907E-5CEC5F57A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4959627468c8786f4a882029d8a7be95e92adea","datavalue":{"value":{"entity-type":"item","numeric-id":3754611,"id":"Q3754611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42e78bd55e181ad999b6d4c6854ae2710ff2aa7","datavalue":{"value":{"amount":"+0.7581786513328552","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":"Q1063591$91DCFEA8-239A-4A73-A656-1DE194745313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fa2a90f1552d0164e87cabfc8271be41917d10","datavalue":{"value":{"entity-type":"item","numeric-id":1262303,"id":"Q1262303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de4a9684b54a08b7085f997ec933facb5f8e0a7","datavalue":{"value":{"amount":"+0.7456380128860474","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":"Q1063591$8172CD42-EB13-41DE-81FF-862B7AC62559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac18352d413ec4769ff062747cdde6e7ba03649","datavalue":{"value":{"entity-type":"item","numeric-id":3690814,"id":"Q3690814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d451cfd6af3e0ff029c0bf78b3eff7bb185a35ea","datavalue":{"value":{"amount":"+0.7307175993919373","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":"Q1063591$0E9E594B-9105-47CF-890F-718FED26CA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af2de8a1382e1011e91336345b6fd8dbc4fe45e","datavalue":{"value":{"entity-type":"item","numeric-id":3764151,"id":"Q3764151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690d8a04c15ef8e7a2ed8085637df825ca4894a2","datavalue":{"value":{"amount":"+0.7086803913116455","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":"Q1063591$3107E9CD-8C65-45F7-A7C6-CA51779895B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set recursion and \\(\\Pi ^ 1 2\\)-logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_recursion_and_%5C(%5CPi_%5E_1_2%5C)-logic"}}}}}