{"entities":{"Q1016505":{"pageid":1018353,"ns":120,"title":"Item:Q1016505","lastrevid":50648699,"modified":"2026-01-14T16:41:18Z","type":"item","id":"Q1016505","labels":{"en":{"language":"en","value":"\\({\\Pi^1_2}\\)-comprehension and the property of Ramsey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551229"}},"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":"Q1016505$2D3E24DA-2347-482C-B5BC-3401374C9AC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9c7860db78dcff1ae77702fb82f8416e9c89542","datavalue":{"value":{"text":"\\({\\Pi^1_2}\\)-comprehension and the property of Ramsey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016505$D4C1B9CE-4B31-4502-921A-1DCDBE54BD3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a5105582bd176ad9115a9fc7e0116c1f8584f9","datavalue":{"value":"1171.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$AAF21F43-9033-454E-8DC1-4E88390465B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9461c80e1bd8740abe10530a97f1af44607cded3","datavalue":{"value":{"entity-type":"item","numeric-id":636378,"id":"Q636378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$0B6C245F-DA3A-4A54-9487-A3A48B47525A","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":"Q1016505$5997B3B1-1A08-4CEE-869D-F7A309360424","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016505$8237E83E-16C8-47AB-8F57-766EAA0F4970","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39d9807ae20b3564b624752bf112519c054367cb","datavalue":{"value":"A set \\(X\\) of sets of natural numbers is said to have the property of Ramsey if there is an infinite set \\(H\\) such that either every infinite subset of \\(H\\) is in \\(X\\), or every infinite subset of \\(H\\) is not in \\(X\\). The author develops an axiom system, called the \\(R\\)-calculus, for working with the property of Ramsey in subsystems of second-order arithmetic. He shows that the \\(R\\)-calculus proves the same \\(\\Pi^1_1\\) sentences as the \\(\\Pi^1_2\\) comprehension scheme. This work is based on the author's thesis [\\(\\Pi^1_2\\)-comprehension and the property of Ramsey. M\u00fcnster: Univ. M\u00fcnster, Fachbereich Mathematik und Informatik (Dissertation) (2007; Zbl 1140.03039)]. The \\(R\\)-calculus is related to the \\(\\mu\\)-calculus, which appears in his work with \\textit{M. M\u00f6llerfeld} [``Determinacy in second order arithmetic'', in: S. Bold et al. (eds.), Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26--29, 2004. London: King's College Publications. Studies in Logic (London) 11, 143--155 (2007; Zbl 1151.03030)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016505$2FEC1B68-9602-45C2-A4EC-7EEACBE554F8","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":"Q1016505$0BB0305D-06C5-4A02-847B-7B5934C2D6EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$4FF4A914-F550-4DB0-87FA-D649916BECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$7A921568-014E-4265-9787-70AA555F430F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dbe8474b3bd28b6b362fe3310669ac954454d39","datavalue":{"value":"5551229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$873DA383-C8B9-46AA-9583-FD73BF15D69E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5398c35667ddd50e6bdaf11b96abce27280390dd","datavalue":{"value":"Ramsey property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016505$D578CDBE-01B8-4EE6-9785-8506EE212772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016505$8EA4354D-4B88-4E40-A148-FEF3B1B3BDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683cc84f738e58255642024d756293032f93f204","datavalue":{"value":"R-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016505$509D9414-8E36-460C-9785-83E62DC37729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c55672d897629a641b121128b4124a0eb8d17c","datavalue":{"value":"autonomous iterated Ramseyness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016505$76445544-4BF7-497A-B06E-4A54A3806F4E","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":"Q1016505$47A8AAEC-187B-4A5D-9B2F-55C8D5D6F11D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367f2d56426bb7e1348d7c9818adf7e1a3948b03","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0124-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016505$038E18B5-4AAE-4E35-92BD-1925195B87C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af366a40f0fbb5c6595c6997011881bfd89c0cf3","datavalue":{"value":"W2099431528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$07EF7D2F-B119-42E6-9204-98AF1C5312C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46da379b7393c7674f5add3d3bea57420eb0d58","datavalue":{"value":{"entity-type":"item","numeric-id":1128188,"id":"Q1128188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$87818044-351F-46D9-86B0-83689C86C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c8764e44a88fe42b47cfdea73fd2676bc26b8","datavalue":{"value":{"entity-type":"item","numeric-id":4043087,"id":"Q4043087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$A4BACB2C-B622-46D7-AEF6-ED78954E2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$AC5D485D-B64F-495C-AF06-32919659D213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db191d5c9bfe8a46eef0448486d1749a05d48ea","datavalue":{"value":{"entity-type":"item","numeric-id":5449700,"id":"Q5449700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$EDB7CE82-71FF-4480-BECF-D0855AC2F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$23A4CBB1-B788-4005-A324-36B9D7FC1448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1426762377715ccec104f47d5406e4a840d54bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5549803,"id":"Q5549803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$24EE7244-2D81-48A6-8590-9379369B6720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$B5FB8ACB-D348-4B97-A962-044E2304D1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71df7289688a6f8a4ca5373356b7ba4f29382395","datavalue":{"value":{"entity-type":"item","numeric-id":4797583,"id":"Q4797583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$AE5A566E-FA6E-466D-AE77-F445DA44BFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b147d222d5f41d2ccc0ce1556aedd90c6212b","datavalue":{"value":{"entity-type":"item","numeric-id":5472644,"id":"Q5472644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$8B7ABC2F-AE70-451D-B88C-3065CAC59885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b0c09c877abc4a5e036f3553cd34f105f3876","datavalue":{"value":{"entity-type":"item","numeric-id":3444857,"id":"Q3444857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$D86B0058-8B8B-4061-960A-339951CE27C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70876828e2165c856642112c43bab925886742e","datavalue":{"value":{"entity-type":"item","numeric-id":5619095,"id":"Q5619095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$536C23BF-D9B5-40AB-A29F-A395AAF33BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$CBECDBE8-4FAE-4026-931A-190DDDFC55E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43224d188437f230ea76494d0a43aec915f05f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198744,"id":"Q4198744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$2A5A4A64-8837-4822-821A-91212BBF94FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016505$C9583BDB-1793-4672-9139-6E7F1F659235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d477940f8d9dd3f1402cbd380023cbc784a255df","datavalue":{"value":"10.1007/S00153-009-0124-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016505$89BF3B8C-2BB4-40D3-892E-EB761F45ECC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9872478b2a221f4a2908811b400978ed342dadb","datavalue":{"value":{"entity-type":"item","numeric-id":5449700,"id":"Q5449700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e608aa5ec73144f350a3b26e12afbc935fbbc571","datavalue":{"value":{"amount":"+0.8371067643165588","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":"Q1016505$2173885B-32EF-492E-B74A-CF36DD2A1FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103bfcf17f167b8b799a82d3541e9dd7a5a0affd","datavalue":{"value":{"amount":"+0.7793447971343994","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":"Q1016505$7BFA31C4-B375-481A-922E-8D3A550BE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b79a1add186978176e63446a42922393c2c0893","datavalue":{"value":{"amount":"+0.7467828989028931","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":"Q1016505$D3FCA16A-3407-4261-97DC-795B9AE87CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da304cc127955d6011df962755fbdb986fa89afd","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202c6586d74accbd04f44df6cdbc2377b6206627","datavalue":{"value":{"amount":"+0.7422833442687988","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":"Q1016505$57B845EA-A1E0-4C22-9A50-2F5773DD4778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6ab377d3e91b87883c6ca7e88389f53cada8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5963196,"id":"Q5963196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8731b8720e9165ba37f1c2110eca881a6b97559","datavalue":{"value":{"amount":"+0.739744246006012","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":"Q1016505$6C1C7EFE-5302-47C6-A3E3-39BC783F93B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1016505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1016505"}}}}}