{"entities":{"Q435242":{"pageid":437009,"ns":120,"title":"Item:Q435242","lastrevid":61807893,"modified":"2026-04-11T01:48:01Z","type":"item","id":"Q435242","labels":{"en":{"language":"en","value":"Primitive recursion and the chain antichain principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054428"}},"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":"Q435242$95EFB809-BD4C-43FC-BC0F-99C01CD41411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82ab72c277adbbe9fe3e6de6c0c648c42fad09ed","datavalue":{"value":{"text":"Primitive recursion and the chain antichain principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435242$4213961A-65D4-4B3F-9FC6-233BAB0EA3D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"754ae4cfd71f4f11bb2bcc426cb122268402a2b3","datavalue":{"value":"1253.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$3448DF18-6F58-4C3E-8000-1C44D36060EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157d694c3940dbe3f53fc047106830dc3f1c27cf","datavalue":{"value":"10.1215/00294527-1715716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$1C549802-FA51-46D4-BF81-3E8DDEAA0B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b151c9da44809f650995a7f88ca4d5f5807da4","datavalue":{"value":{"entity-type":"item","numeric-id":365681,"id":"Q365681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$60B6FEAC-E3CC-42B2-A315-B7756D7115FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$493522B8-E25C-4B6D-89E7-EA6CA3846C31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435242$9864F506-FD66-4D3C-B4D7-84C9859E69CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5c345b5d14af8e74e672517c0627c4cbc9d07af","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336588253","type":"string"},"datatype":"url"},"type":"statement","id":"Q435242$C90DD0CD-1B41-4618-932A-E1CE5D9767B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2463c649ba169acbcfd4a34af6987c36888735b7","datavalue":{"value":"The author proves that \\(\\mathrm{WKL}^\\omega_0+\\mathrm{CAC}\\) (weak K\u00f6nig's lemma extended to finite types plus the chain-antichain principle) is \\(\\Pi^0_2\\)-conservative over primitive recursive arithmetic using a variant of Howard's ordinal analysis of bar recursion. An immediate corollary is that CAC does not imply induction for \\(\\Sigma^0_2\\) formulas. An earlier, forcing-based proof of the corollary can be found in [\\textit{C. T. Chong}, \\textit{T. A. Slaman} and \\textit{Y. Yang}, ``\\(\\Pi^1_1\\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs'', Adv. Math. 230, No. 3, 1060--1077 (2012; Zbl 1255.03025)]. The paper also discusses the Erd\u0151s-Moser (tournament) principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$2C361B44-EE7E-4F93-87C8-E93A18B6C143","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$C9DE1FE4-5D23-4CEC-AC37-016FD7578FDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$61764AC1-3E63-4AE4-93F8-ED3059F9DE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$88C5A814-A65C-4E66-8499-5F91AE04ABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$E88F067F-D9FC-44C0-AD4B-70AB3BAA62B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3298ed3b8d0f970d067397bd88bedec81ea04d35","datavalue":{"value":"6054428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$B788C6A2-23F3-446C-B6AE-F60ADF64CE7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$5FDAE651-CEE1-4024-BB26-E5C2380F8565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b24eaf35c9587e5075016d635abc54921b2a3ee","datavalue":{"value":"chain-antichain principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$578706DD-FA81-4195-AF90-582B1C6D90B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$E7B5E4B9-5D80-4210-8930-0ED2183BAD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$96B22F89-28C8-4356-BDDA-254370646903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135afa5d3970ea0d54def62cc72994a9a1b8416","datavalue":{"value":"Erd\u0151s-Moser principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$E1D82783-A69D-4F3F-ACB3-9BAB46B6F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db92bc7601eaee178ffaed0103e4107bc22c468","datavalue":{"value":"tournament","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$A2559D05-F8E0-4E08-BBFE-A8A7BCDFDACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2816f781bf2f1503b0f6c76dd24bc1b05ab8cdff","datavalue":{"value":"CAC","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$A4991BF4-FA07-485D-A2FC-D7E8D96BB297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q435242$D7DA69D3-1D89-411C-BEFD-3DFF3259173D","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":"Q435242$BDB422F1-B552-4C5C-B6C3-BA6E866B3F23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"223315e33a608d38a8c869889204798315f6c18e","datavalue":{"value":"W2090521688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435242$F3DB9EE0-87F9-4234-A471-F9F49BD276BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$3EF54A10-8812-4440-875A-FB96C2A027AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$C446FAAC-ABD3-4631-A93F-6409A70E71A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$48DFD019-E662-4DD7-9350-E82112E46003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$B4C79622-497F-4921-8BA2-07453775C994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5827eed2f04629267523f54296dad53eb514db0b","datavalue":{"value":{"entity-type":"item","numeric-id":3507431,"id":"Q3507431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$F4929F87-F42C-4D82-948A-8EFBCD4E5306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a5183242124c766fcbdb809f066346125128fc","datavalue":{"value":{"entity-type":"item","numeric-id":2882557,"id":"Q2882557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$D4F0E6B3-6AB4-4B9F-BCE8-761B07334699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d5d9f17eadc778c3336aa2ce579675a5cf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$56A8606F-29A5-4745-B450-F4F839AA6F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a6dd3dc8830892bea0568f55b7570e360cbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":2758065,"id":"Q2758065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$A75F76C5-F374-4B74-B9DE-1935A73C04BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$EF46F279-2289-4868-A711-532B0FB97932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$2DC5DB08-F9B6-4873-8A0F-59A613D34F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$956AF61F-730B-486A-8AB7-DAA79BC160F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ade55e2c6c484c833d7e5a2d3940069198c8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3912574,"id":"Q3912574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$5E4C4D8B-6EF2-4787-B602-8A891461DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$1897DDA4-4CD3-467D-861E-D9AB4D87C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$A15226BE-3C15-441E-8D63-D624B6EC70F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1484ffd13476ff4e30167317b1f1955782f6b13","datavalue":{"value":{"entity-type":"item","numeric-id":1267846,"id":"Q1267846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$E7FEB95E-75D2-45B0-8105-648C1483EF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$21F21C04-C518-4CD6-AFD4-7B6E8EE9DBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$CB44E5EF-FB83-4CA8-A1CF-EB3A377462D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e16629215eb55614c1d4e50025825914e749c3","datavalue":{"value":{"entity-type":"item","numeric-id":3008059,"id":"Q3008059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$EEC180B6-DB55-4675-80E1-2460B9836AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd656d8970ab8b37827d9b7d5347b99d737f4db","datavalue":{"value":{"entity-type":"item","numeric-id":2915896,"id":"Q2915896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$DAB871A1-EA29-4824-A9A2-773780EEEABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$20FEAA6D-D43A-4606-B234-8597EE918C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$C41EC91B-3E27-4F55-8804-8573256CB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69328b06dc1d26d5101867f67e70565505a5ccf5","datavalue":{"value":{"entity-type":"item","numeric-id":3069633,"id":"Q3069633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435242$C5B86047-6B3E-4484-B9FA-E704EFD03377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a70ecf6905bf625ce4e76970bd590e0725c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":3824312,"id":"Q3824312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764d2dfc6ed7adbcab738964a8e2f1791c76058d","datavalue":{"value":{"amount":"+0.7409471273422241","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":"Q435242$6CCBB7B3-896A-4E98-924C-0538A25D83A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f520e0bd75a0a7dc365594459fe8dad51bc6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1971796,"id":"Q1971796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a413b009603a8839c701e42373f778c666c002f6","datavalue":{"value":{"amount":"+0.7314668297767639","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":"Q435242$A39DF89F-1B78-4B5F-B7C9-5CF7F64D4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cb5b2d748c6c9838f0c8453e8a4c7a2eaec","datavalue":{"value":{"entity-type":"item","numeric-id":2231700,"id":"Q2231700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0c37451fa81ed2991c01f07adfb9eeedc54785","datavalue":{"value":{"amount":"+0.729115903377533","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":"Q435242$4BE6E44F-48B2-488B-9457-41BB9D921387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bc76506aec930f3afe60830be164a5330299ff","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa113419a960b6c0922409651044aa6b9ded6180","datavalue":{"value":{"amount":"+0.7290116548538208","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":"Q435242$C5172C27-56E5-4ECD-9C3C-04BCB5360088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb55a7782805258c8fb7d4674f4b2d0d3b72055","datavalue":{"value":{"entity-type":"item","numeric-id":3724327,"id":"Q3724327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6303c247cb5e87ce0aaa65da55b879f9450648","datavalue":{"value":{"amount":"+0.7288093566894531","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":"Q435242$41C4A2C7-4035-42D0-AFE7-0BF6BA74CD73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Primitive recursion and the chain antichain principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Primitive_recursion_and_the_chain_antichain_principle"}}}}}