{"entities":{"Q1262308":{"pageid":1273058,"ns":120,"title":"Item:Q1262308","lastrevid":49327810,"modified":"2026-01-06T23:34:52Z","type":"item","id":"Q1262308","labels":{"en":{"language":"en","value":"Some combinatorial principles equivalent to restrictions of transfinite induction up to \\(\\Gamma _ 0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123724"}},"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":"Q1262308$F37D05F8-43F5-4016-8B11-52DACFD18E12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f355642cbb2de296086df6de443861a9667702e","datavalue":{"value":{"text":"Some combinatorial principles equivalent to restrictions of transfinite induction up to \\(\\Gamma _ 0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262308$85756447-CB82-4A71-B5CB-E7887FD90867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b510f8491c923843a564d4929f4d441f4236685","datavalue":{"value":"0686.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262308$96F21542-2BEE-485D-8F0A-4B5BD10E13A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b919a28d8ee45f9a013b960a6c96a210b7e1713e","datavalue":{"value":"10.1016/0168-0072(89)90046-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262308$4E217E98-1580-4B80-BE64-E8AEF16DAA44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e022eeceb90c83f473fac24938e1afce37d47","datavalue":{"value":{"entity-type":"item","numeric-id":1082335,"id":"Q1082335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$11989FF3-A082-4652-B31E-A89F908B58E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5ce47195c6bc6f28721392c05f12ca5bdbf697","datavalue":{"value":{"entity-type":"item","numeric-id":698757,"id":"Q698757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$FAE8C8B5-330C-47FE-91BD-14B1C72A5AC2","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":"Q1262308$B60A330B-674B-4C6F-99D4-B73C3D203C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1262308$6F60DBBE-ECCB-4E98-BEA9-F9DBC9A7BCE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"214fbc20633539cddacf1c17b625477b555c0c44","datavalue":{"value":"The authors expand results which are applicable to extensions of the Paris-Harrington undecidable combinatorial principle, to corresponding extensions of the Friedman, McAloon, and Simpson combinatorial principle. Specifically, the chief result of the paper is: In first-order Peano arithmetic the following principles are mutually equivalent, (i) the large set principle of the ordinal \\(\\Gamma_ 0\\) for \\(\\Delta_ n\\)- functions, (ii) the well-founded principle of \\(\\Gamma_ 0\\) for \\(\\Delta_ n\\)-formulas, and (iii) the transfinite induction principle up to \\(\\Gamma_ 0\\) for \\(\\Pi_ n\\)-formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$80B0DD01-3317-42C5-AC21-1536F239132D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$41B43099-553F-4DC5-B4CF-AA5E618BEAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262308$BDC24FE7-4D93-42A1-9BF5-66C6C028CD19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9091ce8522adbfd4b85d7ffe52c442d1d752d29c","datavalue":{"value":"4123724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262308$9CE7A7C8-C76E-4501-8420-C828F2037BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b844b6f5f006379a116f5f6dbef86c2f56597b9","datavalue":{"value":"extensions of the Paris-Harrington undecidable combinatorial principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$1B0E5776-81D2-476E-83C8-643519AE8BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a63a082ffe82002ecdbd050f68fc21d3b85dde","datavalue":{"value":"extensions of the Friedman, McAloon, and Simpson combinatorial principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$4EB4761D-840A-4A4D-9FC7-8446F07B0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1ba78db2d3605ec979f5bf7c9116a99ade4178","datavalue":{"value":"large set principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$F71D9578-2E39-4313-98F2-C6178EE21657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63401c35c55d4c8da1a5caa73425fe1464f7ff4","datavalue":{"value":"well-founded principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$2536AAA2-A6C8-4C40-B0C3-A28B5D9C917F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ddfe97b9f691163a872c6a32dd9715252056fd","datavalue":{"value":"transfinite induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262308$32E340DB-A76E-407C-8BD7-CFAC64D10296","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":"Q1262308$72712AF1-4324-4AFA-AF07-111545F80284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ff03b59ff4ad354718aa2a98d334b0a3e06f29e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90046-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262308$0C8418FE-AF9F-4AA0-ACF2-80671324FBB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaefa739daa3275ede14df95d36d6dad28eac440","datavalue":{"value":"W2036472292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262308$BD03B90F-AFAC-4464-B289-A7B63B2A79B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$81C571F6-C5E3-4BDE-A081-9AF72FAEC1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fea5ec265c692bdde76df2847c128031a4b945b","datavalue":{"value":{"entity-type":"item","numeric-id":3032242,"id":"Q3032242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$D08552C3-1682-42C1-A87F-546520B1FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$A78B44AA-C317-4748-B654-E0F736AAEF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9392a1cd77f5d3c60335d73018a81189f38d5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3343982,"id":"Q3343982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$A0109D60-E733-410A-9EA7-DA0AD47DA7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2232d6f67ce818dc7df4581908cde632d25992d","datavalue":{"value":{"entity-type":"item","numeric-id":1082336,"id":"Q1082336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$1B3B7D7D-ACC8-4B76-96FB-D95989F77D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$7206B1E7-E453-4399-AE4B-1207EE125A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$35C2103D-1864-40F6-BDBF-88049DB4B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1181e972dfadeb1cc3c3aaca36aefd95bd03349f","datavalue":{"value":{"entity-type":"item","numeric-id":3828001,"id":"Q3828001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262308$D9C86390-B250-46D9-AD7F-AD5AA8341E72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2cef6d1601cf78d99eb49b1064d8dd73dcb8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1082336,"id":"Q1082336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3641ee646c18afa8190d3040836abd425d6805","datavalue":{"value":{"amount":"+0.862925112247467","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":"Q1262308$B8206163-8577-447D-A75E-55F99F819550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50595fbf90e062a3a7820cf18e32db841f93cf64","datavalue":{"value":{"entity-type":"item","numeric-id":3343982,"id":"Q3343982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5924e3a1829ec900217de7b760f14855a8f569","datavalue":{"value":{"amount":"+0.8022153973579407","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":"Q1262308$A42CD750-2831-4D91-915A-0E79ACF7B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7022116e063c7b1317412e4b3d31201564ffc14","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18167201b565541b0dfaec673a114d21f4d5f9ef","datavalue":{"value":{"amount":"+0.8011351823806763","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":"Q1262308$E034021C-94F9-4B1C-B116-431ADCDC5D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b503465b1f92ff11f49cd7868e7100ba129b44","datavalue":{"value":{"entity-type":"item","numeric-id":3828001,"id":"Q3828001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332f0a3b39c082a78fea811ea711de5096d8738e","datavalue":{"value":{"amount":"+0.790062665939331","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":"Q1262308$F6B3CD21-1C3C-48B0-8D3E-93C07DBDF66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecb38442a74ec85fd4689b92c2dd051cdb6bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3335777,"id":"Q3335777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0071e8953e7d359421995b5494cd8a5de1e53d6","datavalue":{"value":{"amount":"+0.7611817717552185","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":"Q1262308$1FFE9623-F26D-4CCA-AE4D-733EAD9663A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1262308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1262308"}}}}}