{"entities":{"Q2878778":{"pageid":2889498,"ns":120,"title":"Item:Q2878778","lastrevid":58044426,"modified":"2026-04-03T14:14:55Z","type":"item","id":"Q2878778","labels":{"en":{"language":"en","value":"Ultrafilters in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340434"}},"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":"Q2878778$31F4E69B-0121-4540-8020-468FF7978A8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e40e18ae4f8899137471f1bce9e4035a848e7518","datavalue":{"value":{"text":"Ultrafilters in reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878778$7ADCA3ED-91DC-4F2D-95AF-E27EDA2F434B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f80432c1e033a7a6b68a31967f103e0d295f6f71","datavalue":{"value":"1301.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878778$2D454139-DB67-4CDF-A4CC-11958A241E41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3795163d9f1c2630b97f499d12aa8d7d010eed2","datavalue":{"value":"10.1142/S0219061314500019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878778$6885D744-8EC9-4B9B-AF31-95EB069ED5BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$B5F3A55D-677B-40CA-A64D-634737F42693","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$89A134D3-F484-4FBF-98B0-0022652AFF88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878778$D8290127-4C91-4112-B4F5-C49DAE3D705A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c2b9e268b780863cb0032f9f2e39535a18d8dd","datavalue":{"value":"https://arxiv.org/abs/1109.3902","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878778$7479DAF3-C642-4BA9-808F-C4B77616F5C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878778$ED022A17-443B-45CB-B5A5-8A7BD8A3E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878778$CD743DCB-E815-48C8-825F-541C16A2202E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92401470e06727aa709eed035130d4e125e37c44","datavalue":{"value":"6340434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878778$C0E1D902-1E8E-43E2-BB0E-423EF0CC14DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$9B4E7224-90AE-42C1-916E-FF6C4CAFFEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$DACD09B7-F1AE-426E-A08C-D7F5FFF66BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$43C24A93-EAD1-4874-8B78-8E1047A306D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8f4be51cf9297e8c2818867dcbf5685856a068","datavalue":{"value":"conservative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$7B5A9726-5D46-4C31-9693-F4BC57CD821C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$DCA1A779-923F-4CD7-92C7-BA98346D049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b304c27f3fe114c5a933bdf0a604c53026d641a","datavalue":{"value":"higher order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$F9AD1F99-5F79-44FC-A80B-76D9D6B85759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9864afe3de94d08532526a866b4062adad882c4","datavalue":{"value":"third order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$61247992-AC21-41CF-A9D8-39A3E34D6E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$80A58804-FEE8-47B9-97BB-3F3B5CE87FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$9F1D6D96-1EAD-4702-B150-AE6E1C48A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$D172FA10-78F5-46E8-BE3E-BA1A67385F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83a94ae044c5b2969c3a78e4778ff7c1c421f74","datavalue":{"value":"\\(\\Pi^1_1\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$690414D7-96FB-48B6-8E47-293A5FB32CF1","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":"Q2878778$C646DDAD-EE43-4244-8B8C-5794DBBE0B76","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":"Q2878778$5F40DA7D-233F-42BB-8EE5-6D0DB229F5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca3374f38546cd0b5f3c54b80aae548e59ad030","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$88F00C0E-4B91-4DCC-9471-418E37F8AEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f025d609a65f7ce86480b797f20471abae2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3053893,"id":"Q3053893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$852560F1-3091-4715-9C05-10B7E7ACBC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$8C3D6F2E-C909-4BD5-98F3-4955CBB32740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537fd6ee9c28f771577d2c7b2745c67e6e400f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5589084,"id":"Q5589084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$3E6276E8-D7C6-4428-A815-DFC3DAD92F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996391e08a3f16389f0b984b7063136017c40537","datavalue":{"value":{"entity-type":"item","numeric-id":4191265,"id":"Q4191265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$5ACCBDD3-7AAE-4436-9CA1-52F1A93B42C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cc9634805ca4e1cb379f368f02a0b23d8614df","datavalue":{"value":{"entity-type":"item","numeric-id":5313381,"id":"Q5313381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$DB27748D-4B45-483F-92A5-B26AFA9AE925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90491f37f6e1f00a16f9148a7c15690ed9f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1058509,"id":"Q1058509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$498A1187-84E4-4CBB-803C-62CA5705E20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0c0372af2839bcb9588fde426afc57ac0d13c","datavalue":{"value":{"entity-type":"item","numeric-id":2275370,"id":"Q2275370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$C9CFA87C-5B4C-4D75-B3E9-A5946E35009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1833dffb26af37c014afbf39f35fb844fa942d","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$B7D7BB16-BDA1-46DB-B829-BE89CECB4392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bc45dd8604ff9347914231b20b8cb81d45acf4","datavalue":{"value":{"entity-type":"item","numeric-id":3066789,"id":"Q3066789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878778$E3D30276-0385-4F9A-A9AC-FAD20DB1C88F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"74113fe483b2b16571cdfcf53d8b792200863c61","datavalue":{"value":"The author extends the usual axiom systems of reverse mathematics by appending a predicate symbol \\(\\mathfrak U\\) on sets, where the intended meaning of \\(\\mathfrak U (X)\\) is that \\(X\\) is in the nonprincipal ultrafilter \\(\\mathfrak U\\). The string \\(\\exists \\mathfrak U\\) denotes a list of axioms asserting that the sets satisfying \\(\\mathfrak U\\) form a nonprincipal ultrafilter. The main result of paper shows that if \\(T\\) is one of the theories ACA\\(_0\\), ATR\\(_0\\), or \\(\\Pi^1_1\\)-CA\\(_0\\), then the theory \\(T + \\exists \\mathfrak U\\) is a conservative extension of the theory \\(T\\). Since RCA\\(_0 + \\exists \\mathfrak U\\) implies ACA\\(_0\\), ACA\\(_0\\) is the appropriate base theory for this discussion. A property \\(\\mathfrak P\\) of sets is \\textit{divisible} if \\(\\mathbb N \\in \\mathfrak P\\), \\(\\emptyset \\notin \\mathfrak P\\), \\((S\\in \\mathfrak P \\land T \\supseteq S)\\to T \\in \\mathfrak P\\), and \\(S_0 \\cup S_1 \\in \\mathfrak P \\to (S_0 \\in \\mathfrak P \\lor S_1 \\in \\mathfrak P)\\). If \\(T\\) is one of the theories in the list above, \\(\\mathfrak P\\) is an arithmetic property of sets, and \\(T\\) proves that \\(\\mathfrak P\\) is divisible, then the theory \\(T + \\exists \\mathfrak U + \\mathfrak U \\subset \\mathfrak P\\) (that is, \\(T\\) plus the assertion that there is a nonprincipal ultrafilter in which every element has property \\(\\mathfrak P\\)) is a conservative extension of \\(T\\). The article concludes with a list of related conjectures and open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878778$82FFFE00-E6E2-470A-95E5-5A9E917F3139","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":"Q2878778$DF9BB334-7E93-45DD-A4C8-04DA49706648","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ef37c0274cdf6a7c6e310bb9c6f6c94a08dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":4579817,"id":"Q4579817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9699fd92258026d92a31e25612a89ddf934f89","datavalue":{"value":{"amount":"+0.813006579875946","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":"Q2878778$27ABC662-D188-424D-910D-814412B7D86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c1d6c34931d2e97e40d55144a986f53345e9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5251363,"id":"Q5251363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00be44b8bb75c1bf90195b026a7840cefa9f3eb3","datavalue":{"value":{"amount":"+0.7785766124725342","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":"Q2878778$4C02DC0E-925B-45E6-98A3-9AA2348A1E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce5b9208525c6131a3f200acd90e146ab6e0624","datavalue":{"value":{"entity-type":"item","numeric-id":3976993,"id":"Q3976993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce332d293afdbdf5acacc028031b63ccf0b9252f","datavalue":{"value":{"amount":"+0.752547562122345","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":"Q2878778$52CCEF96-AE23-4000-8369-52474405DB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0301e32857eabb78f8ed5ac4c5dac39d58e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a79d7128cc33dacfef0346c7e5d0b2d12a6bb6e","datavalue":{"value":{"amount":"+0.7513402700424194","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":"Q2878778$5EFBF3C4-DA46-4742-BB5C-117154964ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaeecfee89670ef57348e43eb4ea3675b4f3095","datavalue":{"value":{"entity-type":"item","numeric-id":3617363,"id":"Q3617363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e11ef1d808e8f58dae183cee255d10e07de2e9","datavalue":{"value":{"amount":"+0.7497121095657349","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":"Q2878778$4CE24469-D6D9-4231-89DD-F3172CB1DF37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2878778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2878778"}}}}}