{"entities":{"Q435197":{"pageid":436964,"ns":120,"title":"Item:Q435197","lastrevid":56911437,"modified":"2026-03-24T14:26:05Z","type":"item","id":"Q435197","labels":{"en":{"language":"en","value":"Reverse mathematics and properties of finite character"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054360"}},"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":"Q435197$1B3C272A-9112-4642-8ABB-BDDF53F1B482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa67b9e0453ed1d3c10b3f495865b8f533bcc090","datavalue":{"value":{"text":"Reverse mathematics and properties of finite character","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435197$0FA33CE0-0AF1-4566-92C9-1D69AFCE77EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"543713054bc99173f26f7576d219acbdc0e7eca0","datavalue":{"value":"1253.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$84767B1D-3489-42FE-B98B-EBE2E16AC39C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435197$EB0FC12A-4BC1-4DD1-B951-D5A99F00EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6fe6778469ced17e25612a269bf91190d4e60c","datavalue":{"value":{"entity-type":"item","numeric-id":375888,"id":"Q375888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435197$1EDC7FBC-DF2C-4DFA-8B7F-A34833EC553F","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":"Q435197$86A8C558-3D86-4D02-BC08-E159FA76963F","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":"Q435197$1FD51B3D-7AA1-44C2-99FB-B7BA68C4CCFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83b1c5eee0ad279446a7113f77d1248907c7c1f9","datavalue":{"value":"https://arxiv.org/abs/1109.3378","type":"string"},"datatype":"url"},"type":"statement","id":"Q435197$D96CA1DF-B409-4038-9D27-0DB4F06C12A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb26c8f24754d7e973b0843d056b5989a4bc6b87","datavalue":{"value":"This article analyzes the logical strength of variants of Tukey's lemma in the framework of reverse mathematics. A formula \\(\\varphi\\) with one free set variable has the finite character property if \\(\\varphi (\\emptyset )\\) holds and for every set \\(A\\), \\(\\varphi (A)\\) holds if and only if \\(\\varphi (F)\\) holds for every finite \\(F \\subseteq A\\). For a class of formulas \\(\\Gamma\\), the principle \\(\\Gamma\\)-FCP asserts that, given any formula of finite character in \\(\\Gamma\\) (with parameters), every set \\(A\\) has a maximal subset \\(B\\) such that \\(\\varphi (B)\\) holds. The authors show that RCA\\(_0\\) proves \\(\\Sigma^0_1\\)-FCP, and that for \\(n\\geq 1\\), RCA\\(_0\\) proves that ACA\\(_0\\) is equivalent to \\(\\Pi^0_n\\)-FCP and \\(\\Pi^1_n\\)-CA\\(_0\\) is equivalent to \\(\\Pi^1_n\\)-FCP. The finite character principle can be strengthened by requiring that the maximal set is closed under a finitary closure operator, yielding the \\(\\Gamma\\)-CE scheme, or under a nondeterministic finitary closure operator, yielding \\(\\Gamma\\)-NCE. The authors show that QF-CE and \\(\\Sigma^0_1\\)-CE are each equivalent to ACA\\(_0\\), while QF-NCE and \\(\\Sigma^0_1\\)-NCE are each equivalent to \\(\\Pi^1_1\\)-CA\\(_0\\). For \\(n \\geq 1\\), RCA\\(_0\\) proves that \\(\\Pi^1_n\\)-CA\\(_0\\) is equivalent to \\(\\Pi^1_n\\)-NCE. The results in this paper provide an interesting contrast to the authors' work on finite intersection principles [``On the strength of the finite intersection principle'', Isr. J. Math. (2012; \\url{doi:10.1007/s11856-012-1050-9}), \\url{arXiv:1109.3374}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$CA83BB98-59BB-465E-9A8A-5B285808E524","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":"Q435197$8ED6D3C2-EE4B-4BD9-B836-73DC00BC3926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$CF4ACB11-E28E-4523-ABD7-860D6707C23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$72321A75-D00A-492F-9354-E8B45C6099A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$D37109CD-CB09-4513-9BB3-36FA5C534B12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"226dcb2397f6d93108f3a1cddb32b221c4f1b643","datavalue":{"value":"6054360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$2895255F-1208-482D-9952-A448662A9442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$707ED23D-EC8F-438F-8EE9-E2D8FDB4D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54308c979c726257ff7b8aa734d362df78a360e3","datavalue":{"value":"finite character","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$FF4B7C9B-EFB4-49DD-8F31-9FEC9C47484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$86FCB267-27EA-4E51-8A05-657E63CE027E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$5F5E05C6-CE42-4792-B300-C055C8CAC641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716aff73fcd12cc9e4701e3dbffa7297af1df1dd","datavalue":{"value":"Tukey's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q435197$EFB9C1EF-C703-4222-9DF6-F908614F2B4D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17f9b8790d83e38ca3740404f7d8a74c74024a7c","datavalue":{"value":"Q57951146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$BF1EB4C3-C983-41BB-83B7-6572E9DABCC8","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":"Q435197$446A4F88-4D53-488D-887F-546246FC8D71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c7c49ac815e1bd13ff3d3c4adbaac029cb149b3","datavalue":{"value":"W2010324947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$C09946D1-80EF-4AE3-B083-545391245A52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2951dd50ecd09fb75384d8d3feb4c63d815dd20","datavalue":{"value":{"entity-type":"item","numeric-id":435197,"id":"Q435197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435197$3CC5828C-ACCF-4060-B431-52E13C692EED","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":"Q435197$79E73E63-31FE-4F2E-A7AA-231D57D9EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376391ab6b394f7893094fcbfc13d81f395664f","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435197$CCA37BE3-7B6B-445C-AF5B-B19386F4FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435197$7CD5502F-9097-4BCC-9A9B-19263DE9AE21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77c1497ac1144382c64b969e17f662b151379a60","datavalue":{"value":"10.1016/J.APAL.2012.01.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$25EC37EA-3D38-43F0-A394-29DDF5F6B502","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c32e00dd543e67d92c2781963dd9f7361dbd4e00","datavalue":{"value":"journals/apal/DzhafarovM12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435197$4C3432F3-B38F-489B-A5E9-5036654D7D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be79e9e118fb1adfb9e8dca275e89b1fcdc775e1","datavalue":{"value":{"entity-type":"item","numeric-id":2075285,"id":"Q2075285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db57f1c881efdf8666dcd3a4e39951d01be68864","datavalue":{"value":{"amount":"+0.8734775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$8406C5DF-9105-4D88-A8B5-A44B0C548166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a109acdde3e77f1ee66670ed4e06b142d4f619e","datavalue":{"value":{"entity-type":"item","numeric-id":5413741,"id":"Q5413741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e89937fb16fcbe47670a5bfd95f60def7bbe3b","datavalue":{"value":{"amount":"+0.869457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$FE4060F9-A324-49A1-9C12-4A4F3BF85FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf4ace23f250e091719cf1dd13904efdce476cd","datavalue":{"value":{"entity-type":"item","numeric-id":5937813,"id":"Q5937813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edfa0cb4c5565e2bf5aab4e99b7b8c800c2b6d3","datavalue":{"value":{"amount":"+0.862915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$F0B8B8BF-35CC-4F41-8C81-EF28B27E4FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afef1b95cc7d9f79dcffbe7c23882e92b12fc57","datavalue":{"value":{"entity-type":"item","numeric-id":2155498,"id":"Q2155498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23dcd5048fde9156fa8353f643a05a07bf59e95","datavalue":{"value":{"amount":"+0.860836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$EE6ABD49-3F73-4435-B94B-1506D2ED24C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe45b8af0882f12c2bfc7600b51eabff0cbf4a54","datavalue":{"value":{"entity-type":"item","numeric-id":3444857,"id":"Q3444857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69c9e94cae3e41392c0a825074e4c6d96a00082","datavalue":{"value":{"amount":"+0.85975087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$61AB26A3-A8F7-4047-9BDF-6C1536BF4748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a02092506baa2cff762b1d811e119fe54231a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854147997c872ccc6e534d1cc07c0a045ac651c2","datavalue":{"value":{"amount":"+0.85752714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$9DCDF7A5-DD16-4459-B3A5-98855635998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7c06ed94f37824c51a33d9d6448354ed1c581a","datavalue":{"value":{"amount":"+0.85482335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$A076A77D-6DA8-47B7-A832-FF1EC682986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53574332ee7065128626836c1e1b0f103a4f4cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5095937,"id":"Q5095937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237e2f80fa711693f1fe25da68f6ddb5a5a7681e","datavalue":{"value":{"amount":"+0.85327923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$04BAEF1E-073D-4819-835D-09DB529FA904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3065e3185a927ea8c3c6d4d9b6d76aa6ae7a34","datavalue":{"value":{"entity-type":"item","numeric-id":5440172,"id":"Q5440172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cccfee3b61aafdf1a9a32040463d8f3e02aa284","datavalue":{"value":{"amount":"+0.853005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$26D6A81B-9506-493C-A514-EE004082966B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5f169a30c8cc132dfbc48c7b79ce43e4398483","datavalue":{"value":{"entity-type":"item","numeric-id":5037213,"id":"Q5037213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88b2c571314ff91de0f08c38ddb1acb38f833c7","datavalue":{"value":{"amount":"+0.8529509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q435197$A7B03527-BF6D-423E-B97A-99BF1C857BF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:435197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:435197"}}}}}